Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642317583, 9783642317590
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials

2012 ◽  
pp. 1-6 ◽  
Author(s):  
Thomas Ball ◽  
Nikolaj Bjørner ◽  
Leonardo de Moura ◽  
Kenneth L. McMillan ◽  
Margus Veanes
Keyword(s):  
Fixed Points ◽  
First Order

Parameterized Model Checking of Fine Grained Concurrency

2012 ◽  
pp. 208-226 ◽  
Author(s):  
Divjyot Sethi ◽  
Muralidhar Talupur ◽  
Daniel Schwartz-Narbonne ◽  
Sharad Malik
Keyword(s):  
Model Checking ◽  
Fine Grained ◽  
Parameterized Model

scholarly journals High-Coverage Symbolic Patch Testing

2012 ◽  
pp. 7-21 ◽  
Author(s):  
Paul Dan Marinescu ◽  
Cristian Cadar
Keyword(s):  
Patch Testing ◽  
High Coverage
Load More ...
Sign in / Sign up

Export Citation Format

Share Document