Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540237389, 9783540304944
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded Verification of Past LTL

2004 ◽  
pp. 245-259 ◽  
Author(s):  
Alessandro Cimatti ◽  
Marco Roveri ◽  
Daniel Sheridan

Synchronization-at-Retirement for Pipeline Verification

2004 ◽  
pp. 113-127 ◽  
Author(s):  
Mark D. Aagaard ◽  
Nancy A. Day ◽  
Robert B. Jones

Proof Styles in Operational Semantics

2004 ◽  
pp. 67-81 ◽  
Author(s):  
Sandip Ray ◽  
J. Strother Moore
Keyword(s):  
Operational Semantics

Bloom Filters in Probabilistic Verification

2004 ◽  
pp. 367-381 ◽  
Author(s):  
Peter C. Dillinger ◽  
Panagiotis Manolios
Keyword(s):  
Bloom Filters ◽  
Probabilistic Verification

Parameterized Vacuity

2004 ◽  
pp. 322-336 ◽  
Author(s):  
Marko Samer ◽  
Helmut Veith

A Hybrid of Counterexample-Based and Proof-Based Abstraction

2004 ◽  
pp. 260-274 ◽  
Author(s):  
Nina Amla ◽  
Ken L. McMillan

Scalable Automated Verification via Expert-System Guided Transformations

2004 ◽  
pp. 159-173 ◽  
Author(s):  
Hari Mony ◽  
Jason Baumgartner ◽  
Viresh Paruthi ◽  
Robert Kanzelman ◽  
Andreas Kuehlmann
Keyword(s):  
Expert System ◽  
Automated Verification

Extending Extended Vacuity

2004 ◽  
pp. 306-321 ◽  
Author(s):  
Arie Gurfinkel ◽  
Marsha Chechik

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

2004 ◽  
pp. 352-366 ◽  
Author(s):  
Luboš Brim ◽  
Ivana Černá ◽  
Pavel Moravec ◽  
Jiří Šimša
Keyword(s):  
Model Checking ◽  
Ltl Model Checking ◽  
Better Than
Load More ...
Sign in / Sign up

Export Citation Format

Share Document