|
3
|
SeSFJava: A framework for design and testing of concurrent systems
– Tamer Elsharnouby, A. Udaya Shankar
- 2004
|
|
|
A Case Study in . . . Trace Abstractions
– Nils Klarlund, Mogens Nielsen, Kim Sunesen
- 1995
|
|
1
|
Specification, Proof Checking, and Model Checking for Protocols and Distributed Systems with PVS
– John Rushby
- 1997
|
|
26
|
InVeSt: A Tool for the Verification of Invariants
– S. Bensalem, Y. Lakhnech, S. Owre
- 1998
|
|
1
|
Abstraction as the Key for Invariant Verification
– Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
|
|
2
|
Verification and Validation of Autonomy Software at NASA
– Charles Pecheur
- 2000
|
|
1
|
Faithful Translations Among Models and Specifications in VeriTech
– Orna Grumberg, Shmuel Katz, Shmuel Katz
- 2000
|
|
2
|
cTLA 2003 Description
– Gerrit Rothmaier, Heiko Krumm, Fb Informatik, Ls Iv, Ag Rvs
- 2003
|
|
6
|
Interactive Verification Exploiting Program Design Knowledge: A Model-Checker for UNITY
– Markus Kaltenbach
- 1996
|
|
1
|
Verification and validation and artificial intelligence
– Tim Menzies, Charles Pecheur
- 2005
|
|
5
|
Modeling and analysis of hybrid systems
– Franjo Ivančić
- 2003
|
|
20
|
Verifying temporal properties of reactive systems: A STeP tutorial
– Nikolaj S. Bjørner, Anca Browne, Michael A. Colon, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomas E. Uribe
- 2000
|
|
43
|
Fluent Model Checking for Event-based Systems
– Dimitra Giannakopoulou, Jeff Magee
- 2003
|
|
67
|
Model Checking Complete Requirements Specifications Using Abstraction
– Ramesh Bharadwaj, Constance L. Heitmeyer
- 1999
|
|
2
|
Checking Verifications of Protocols and Distributed Systems By Computer
– Jan Friso Groote, Francois Monin, Jaco van de Pol
- 1998
|
|
3
|
Mechanized Formal Methods: Progress and Prospects
– John Rushby
- 1996
|
|
9
|
Component-based hardware/software co-verification
– Juncao Li, Fei Xie
- 2007
|
|
|
Checking universally quantified temporal properties with three-valued analysis
– Björn Wachter
- 2005
|
|
81
|
Formal Verification in Hardware Design: A Survey
– Christoph Kern, Mark R. Greenstreet
- 1999
|
