Husam Abu-Haimed, Sergey Berezin, David L. Dill  Home/Search
Context Related
| stanford.edu/PAPERS/ABD03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a relatively simple method for strengthening invariants when verifying in nite-state hardware systems called symbolic consistency testing. The method requires a high-level symbolic simulator and a decision procedure for quanti er-free rst-order logic. The user only needs to provide a small number of simple symbolic test vectors that expose internal inconsistencies in the system state. A veri cation system then uses symbolic simulation with these test vectors to strengthen... (Update)
Cited by: More
Cv - Berezin (Correct)
Active bibliography (related documents): More All
0.5: A Framework for Cooperating Decision Procedures - Barrett, Dill, Stump (2000) (Correct)
0.2: Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
0.2: Slicing SAL - Ganesh, Saidi, Shankar (1999) (Correct)
Similar documents based on text: More All
0.3: Reliable Verification Using Symbolic Simulation with Scalar.. - Wilson, Dill (2000) (Correct)
0.2: Online Proof-Producing Decision Procedure for.. - Berezin, Ganesh, Dill (2002) (Correct)
0.2: An Online Proof-Producing Decision Procedure for.. - Berezin, Ganesh, Dill (2002) (Correct)
Related documents from co-citation: More All
2: Model checking algorithms for the mu-calculus (context) - Berezin, Clarke et al. - 1996
2: Online proof-producing decision procedure for mixed-integer linear arithmetic - Berezin, Ganesh et al. - 2002
BibTeX entry: (Update)
Husam Abu-Haimed, Sergey Berezin, and David L. Dill. Strengthening invariants by symbolic consistency testing. In Hunt and Somenzi [24], pages 407--419. http://citeseer.ist.psu.edu/576997.html More
@misc{ abu-haimed-strengthening,
author = "H. Abu-Haimed and S. Berezin and D. Dill",
title = "Strengthening invariants by symbolic consistency testing",
text = "Husam Abu-Haimed, Sergey Berezin, and David L. Dill. Strengthening invariants
by symbolic consistency testing. In Hunt and Somenzi [24], pages 407--419.",
url = "citeseer.ist.psu.edu/576997.html" }
Citations (may not include all citations):200 Construction of abstract state graphs with PVS - Graf, Saidi - 1997
65 Powerful techniques for the automatic generation of invarian.. - Bensalem, Lakhnech et al. - 1996
45 CVC: a Cooperating Validity Checker - Stump, Barrett et al. - 2002
42 Temporal Veri cation of Reactive Systems: Safety (context) - Manna, Pnueli - 1993
40 Successive approximation of abstract transition relations (context) - Das, Dill - 2001
20 Also appears in Tutorial Notes (context) - Shankar, Owre et al. - 1993
13 Automatic veri cation of parameterized networks of processes.. (context) - Lesens, Sa - 1997
12 Counter-example based predicate discovery in predicate abstr.. - Das, Dill - 2002
10 A technique for invariant generation - Tiwari, Rue et al. - 2001
9 reference manual and guide - McCune - 1994
9 Automatic generation of invariants (context) - rey, Su et al. - 1996
5 Formal veri cation of superscalar microprocessors with multi.. (context) - Velev, Bryant - 2000
4 Generating nite-state abstractions of reactive systems using.. (context) - Colon, Uribe - 1998
4 Integrated formal veri cation: Using model checking with aut.. (context) - Rushby - 1999
2 Formally verifying data and control with weak reachability i.. - rey, Su et al. - 1998
1 Automatic generation of invariants and intermediate assertio.. (context) - Bj, Anca et al. - 1997
Documents on the same site (http://sprout.stanford.edu/papers.html): More
Self-Consistency Checking - Jones, Seger, Dill (1996) (Correct)
Verifying Systems with Replicated Components in Murφ - Ip, Dill (1997) (Correct)
A High-Performance Asynchronous SCSI Controller - Yun, Dill (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC