Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

26
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540272311, 9783540316862
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals F-Soft: Software Verification Platform

2005 ◽  
pp. 301-306 ◽  
Author(s):  
F. Ivančić ◽  
Z. Yang ◽  
M. K. Ganai ◽  
A. Gupta ◽  
I. Shlyakhter ◽  
...  
Keyword(s):  
Software Verification

scholarly journals Incremental Algorithms for Inter-procedural Analysis of Safety Properties

2005 ◽  
pp. 449-461 ◽  
Author(s):  
Christopher L. Conway ◽  
Kedar S. Namjoshi ◽  
Dennis Dams ◽  
Stephen A. Edwards
Keyword(s):  
Incremental Algorithms ◽  
Safety Properties

scholarly journals Automated Assume-Guarantee Reasoning for Simulation Conformance

2005 ◽  
pp. 534-547 ◽  
Author(s):  
Sagar Chaki ◽  
Edmund Clarke ◽  
Nishant Sinha ◽  
Prasanna Thati

Concrete Model Checking with Abstract Matching and Refinement

2005 ◽  
pp. 52-66 ◽  
Author(s):  
Corina S. Păsăreanu ◽  
Radek Pelánek ◽  
Willem Visser
Keyword(s):  
Model Checking ◽  
Concrete Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document