Formal Methods in System Design, Volume 2

Volume 2, Number 1, 1993

Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. 7-43 BibTeX
Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man: On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. 45-72 BibTeX
Stephen D. Brookes: Using Fixed-Point Semantics to Prove Retiming Lemmas. 73-91 BibTeX
Pranav Ashar, Srinivas Devadas, Kurt Keutzer: Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. 93-112 BibTeX

Rance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. 121-147 BibTeX
Patrice Godefroid, Pierre Wolper: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. 149-164 BibTeX
Ramayya Kumar, Klaus Schneider, Thomas Kropf: Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. 165-223 BibTeX

Michael C. McFarland: Formal Analysis of Correctness of Behavioral Transformations. 231-257 BibTeX
Ghislaine Thuau, Bachir Berkane: A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. 259-276 BibTeX
Kshirasagar Naik, Behçet Sarikaya: Test Case Verification by Model Checking. 277-321 BibTeX