default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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 - 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 - Stephen D. Brookes:
Using Fixed-Point Semantics to Prove Retiming Lemmas. 73-91 - Pranav Ashar, Srinivas Devadas, Kurt Keutzer:
Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. 93-112
Volume 2, Number 2, April 1993
- Rance Cleaveland, Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. 121-147 - Patrice Godefroid, Pierre Wolper
:
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. 149-164 - Ramayya Kumar, Klaus Schneider, Thomas Kropf:
Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. 165-223
Volume 2, Number 3, June 1993
- Michael C. McFarland:
Formal Analysis of Correctness of Behavioral Transformations. 231-257 - Ghislaine Thuau, Bachir Berkane:
A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. 259-276 - Kshirasagar Naik, Behçet Sarikaya:
Test Case Verification by Model Checking. 277-321
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
