Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

64
(FIVE YEARS 0)

H-INDEX

21
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642314230, 9783642314247
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Alternate and Learn: Finding Witnesses without Looking All over

2012 ◽  
pp. 599-615 ◽  
Author(s):  
Nishant Sinha ◽  
Nimit Singhania ◽  
Satish Chandra ◽  
Manu Sridharan

scholarly journals Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems

2012 ◽  
pp. 718-724 ◽  
Author(s):  
Sylvain Conchon ◽  
Amit Goel ◽  
Sava Krstić ◽  
Alain Mebsout ◽  
Fatiha Zaïdi
Keyword(s):  
Model Checker ◽  
Parameterized Systems

scholarly journals Recent Developments in FDR

2012 ◽  
pp. 699-704 ◽  
Author(s):  
Philip Armstrong ◽  
Michael Goldsmith ◽  
Gavin Lowe ◽  
Joël Ouaknine ◽  
Hristina Palikareva ◽  
...  
Keyword(s):  
Recent Developments

scholarly journals SAFARI: SMT-Based Abstraction for Arrays with Interpolants

2012 ◽  
pp. 679-685 ◽  
Author(s):  
Francesco Alberti ◽  
Roberto Bruttomesso ◽  
Silvio Ghilardi ◽  
Silvio Ranise ◽  
Natasha Sharygina
Load More ...
Sign in / Sign up

Export Citation Format

Share Document