Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540223429, 9783540278139
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals DPLL(T): Fast Decision Procedures

2004 ◽  
pp. 175-188 ◽  
Author(s):  
Harald Ganzinger ◽  
George Hagen ◽  
Robert Nieuwenhuis ◽  
Albert Oliveras ◽  
Cesare Tinelli
Keyword(s):  
Decision Procedures ◽  
Fast Decision

scholarly journals GSTE Is Partitioned Model Checking

2004 ◽  
pp. 229-241 ◽  
Author(s):  
Roberto Sebastiani ◽  
Eli Singerman ◽  
Stefano Tonetta ◽  
Moshe Y. Vardi
Keyword(s):  
Model Checking

scholarly journals Static Program Analysis via 3-Valued Logic

2004 ◽  
pp. 15-30 ◽  
Author(s):  
Thomas W. Reps ◽  
Mooly Sagiv ◽  
Reinhard Wilhelm
Keyword(s):  
Program Analysis ◽  
Static Program Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document