default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 4
Volume 4, Number 1, January 1994
- Diederik Verkest, Luc J. M. Claesen, Hugo De Man:
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31 - Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky:
Analysis and Identification of Speed-Independent Circuits on an Event Model. 33-75
Volume 4, Number 2, February 1994
- Cheryl Harkness, Elizabeth Wolf:
Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97 - Siegfried Fischer, Andreas Scholz:
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 99-122 - Thomas F. La Porta, Mischa Schwartz:
Verification of the MultiStream Potocol (MSP) Using COSPAN. 123-153 - W. M. H. M. Rovers:
Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. 155-166 - Bernard Plessier, Gary D. Hachtel, Fabio Somenzi:
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. 167-185 - Alessandro Fantechi, Stefania Gnesi
, Gioia Ristori:
Model Checking for Action-Based Logics. 187-203
Volume 4, Number 3, May 1994
- Andrew M. Bailey, George Alexander McCaskill, George J. Milne:
An Exercise in the Automatic Verification of Asynchronous Designs. 213-242 - Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation. 243-263 - Victoria Stavridou:
Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310
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-01-13 01:09 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:
