Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 22
Volume 22, Number 1, January 2003
- Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson
:
Mexitl: Multimedia in Executable Interval Temporal Logic. 5-38 - Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor:
Polynomial Formal Verification of Multipliers. 39-58 - Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin:
Compared Study of Two Correctness Proofs for the Standardized. 59-86
Volume 22, Number 2, March 2003
- Ganesh Gopalakrishnan, Warren A. Hunt Jr.:
Industrial Practice of Formal Hardware Verification: A Sampling. 95-99 - Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal:
Model Checking at IBM. 101-108 - Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park:
Experience with Applying Formal Methods to Protocol Specification and System Architecture. 109-116 - Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin:
Formal Verification Successes at Motorola. 117-123 - Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA+. 125-131 - Steven M. German:
Formal Design of Cache Memory Protocols in IBM. 133-141 - John Harrison:
Formal Verification of Square Root Algorithms. 143-153 - Pascalin Amagbégnon, Uri Barkai:
Verifying the Implementation of an Error Control Code. 155-161 - William Adams, Warren A. Hunt Jr., Damir Jamsek:
Verisym: Verifying Circuits by Symbolic Simulation. 163-173
Volume 22, Number 3, May 2003
- Signe J. Silver, Janusz A. Brzozowski:
True Concurrency in Models of Asynchronous Circuit Behavior. 183-203 - Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal:
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. 205-224 - Wing Lok Yeung, Steve A. Schneider:
Design and Verification of Distributed Recovery Blocks with CSP. 225-248 - J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda:
Analysis of an Industrial System. 249-282
a service of 
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 2024-04-19 19:21 CEST 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:
