default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 22

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 22, Number 1, January 2003

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BowmanCKT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BowmanCKT03
Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson:
Mexitl: Multimedia in Executable Interval Temporal Logic. 5-38
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KeimDBMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KeimDBMM03
Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor:
Polynomial Formal Verification of Multipliers. 39-58
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BerardFKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BerardFKM03
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

Special Issue on Industrial Practice of Formal Hardware Verification: A Sampling

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GopalakrishnanH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GopalakrishnanH03
Ganesh Gopalakrishnan, Warren A. Hunt Jr.:
Industrial Practice of Formal Hardware Verification: A Sampling. 95-99
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Ben-DavidEGW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Ben-DavidEGW03
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal:
Model Checking at IBM. 101-108
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AzimiCKLMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AzimiCKLMP03
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
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AbadirAHKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AbadirAHKM03
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin:
Formal Verification Successes at Motorola. 117-123
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JoshiLMTTY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JoshiLMTTY03
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA⁺. 125-131
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/German03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/German03
Steven M. German:
Formal Design of Cache Memory Protocols in IBM. 133-141
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Harrison03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Harrison03
John Harrison:
Formal Verification of Square Root Algorithms. 143-153
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AmagbegnonB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AmagbegnonB03
Pascalin Amagbégnon, Uri Barkai:
Verifying the Implementation of an Error Control Code. 155-161
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AdamsHJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AdamsHJ03
William Adams, Warren A. Hunt Jr., Damir Jamsek:
Verisym: Verifying Circuits by Symbolic Simulation. 163-173

Volume 22, Number 3, May 2003

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SilverB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SilverB03
Signe J. Silver, Janusz A. Brzozowski:
True Concurrency in Models of Asynchronous Circuit Behavior. 183-203
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GoelSZAS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GoelSZAS03
Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal:
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. 205-224
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/YeungS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/YeungS03
Wing Lok Yeung, Steve A. Schneider:
Design and Verification of Distributed Recovery Blocks with CSP. 225-248
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KleijnRR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KleijnRR03
J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda:
Analysis of an Industrial System. 249-282

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.