2013 Formal Methods in Computer-Aided Design
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9780983567837
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A circuit approach to LTL model checking

2013 ◽  
Author(s):  
Koen Claessen ◽  
Niklas Een ◽  
Baruch Sterin
Keyword(s):  
Model Checking ◽  
Ltl Model Checking

Computing prime implicants

2013 ◽  
Author(s):  
David Deharbe ◽  
Pascal Fontaine ◽  
Daniel Le Berre ◽  
Bertrand Mazure
Keyword(s):  
Prime Implicants

Better generalization in IC3

2013 ◽  
Author(s):  
Zyad Hassan ◽  
Aaron R. Bradley ◽  
Fabio Somenzi

Secure programs via game-based synthesis

2013 ◽  
Author(s):  
Somesh Jha ◽  
Tom Reps ◽  
Bill Harris

Generalized counterexamples to liveness properties

2013 ◽  
Author(s):  
Gadi Aleksandrowicz ◽  
Jason Baumgartner ◽  
Alexander Ivrii ◽  
Ziv Nevo
Keyword(s):  
Liveness Properties

Efficient MUS extraction with resolution

2013 ◽  
Author(s):  
Alexander Nadel ◽  
Vadim Ryvchin ◽  
Ofer Strichman

Verifying multi-threaded software with impact

2013 ◽  
Author(s):  
Bjorn Wachter ◽  
Daniel Kroening ◽  
Joel Ouaknine

Simplex with sum of infeasibilities for SMT

2013 ◽  
Author(s):  
Tim King ◽  
Clark Barrett ◽  
Bruno Dutertre
Load More ...
Sign in / Sign up

Export Citation Format

Share Document