default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 18
Volume 18, Number 1, January 2001
- Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. 5-23 - Stavros Tripakis
, Sergio Yovine:
Analysis of Timed Systems Using Time-Abstracting Bisimulations. 25-68 - Krishnaprasad Thirunarayan, Robert L. Ewing:
Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. 69-88
Volume 18, Number 2, March 2001
- Orna Grumberg:
Introduction: Special Issue on CAV '97. 95 - Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration. 97-116 - Ulrich Stern, David L. Dill:
Parallelizing the Murj Verifier. 117-129 - Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi:
A New Heuristic for Bad Cycle Detection Using BDDs. 131-140 - Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh:
Efficient Detection of Vacuity in Temporal Model Checking. 141-163
Volume 18, Number 3, May 2001
- Kostas N. Oikonomou:
Abstractions of Random Finite-State Machines. 171-207 - Radomir S. Stankovic:
Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions. 209-231 - Matthew Wilding, David A. Greve, David S. Hardin:
Efficient Simulation of Formal Processor Models. 233-248 - Graeme Smith, John Derrick:
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. 249-284 - Christoph Meinel, Thorsten Theobald:
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. 285-301
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-05 22:25 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:
