Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs (2002)

Cached

Download Links

by Peter Herrmann , Heiko Krumm
Venue:Telecommunication Systems
Citations:4 - 2 self

Active Bibliography

22 A framework for modeling transfer protocols – Peter Herrmann, Heiko Krumm - 2000
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
1 Abstraction as the Key for Invariant Verification – Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
27 InVeSt: A Tool for the Verification of Invariants – S. Bensalem, Y. Lakhnech, S. Owre - 1998
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
Methods to Model-Check Parallel Systems Software by – Olga Shumsky Matlin, William Mccune, Ewing Lusk - 2003
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
24 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
47 Fluent Model Checking for Event-based Systems – Dimitra Giannakopoulou, Jeff Magee - 2003
70 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