Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642358722, 9783642358739
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Flow-Sensitive Fault Localization

2013 ◽  
pp. 189-208 ◽  
Author(s):  
Jürgen Christ ◽  
Evren Ermis ◽  
Martin Schäf ◽  
Thomas Wies
Keyword(s):  
Fault Localization

Automata as Proofs

2013 ◽  
pp. 13-14 ◽  
Author(s):  
Andreas Podelski

scholarly journals Logico-Numerical Max-Strategy Iteration

2013 ◽  
pp. 414-433 ◽  
Author(s):  
Peter Schrammel ◽  
Pavle Subotic

Uncovering Symmetries in Irregular Process Networks

2013 ◽  
pp. 496-514 ◽  
Author(s):  
Kedar S. Namjoshi ◽  
Richard J. Trefler
Keyword(s):  
Process Networks

scholarly journals An Abstract Interpretation of DPLL(T)

2013 ◽  
pp. 455-475 ◽  
Author(s):  
Martin Brain ◽  
Vijay D’Silva ◽  
Leopold Haller ◽  
Alberto Griggio ◽  
Daniel Kroening
Keyword(s):  
Abstract Interpretation

scholarly journals ClabureDB: Classified Bug-Reports Database

2013 ◽  
pp. 268-274 ◽  
Author(s):  
Jiri Slaby ◽  
Jan Strejček ◽  
Marek Trtík
Keyword(s):  
Bug Reports

scholarly journals A Model-Constructing Satisfiability Calculus

2013 ◽  
pp. 1-12 ◽  
Author(s):  
Leonardo de Moura ◽  
Dejan Jovanović
Load More ...
Sign in / Sign up

Export Citation Format

Share Document