default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 1

> 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 1, Number 1, 1992

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChaochenH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChaochenH92
Zhou Chaochen, C. A. R. Hoare:
A Model for Synchronous Switching Circuits and its Theory of Correctness. 7-28
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DillNS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DillNS92
David L. Dill, Steven M. Nowick, Robert F. Sproull:
Specification and Automatic Verification of Self-Timed Queues. 29-60
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JainABF92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JainABF92
Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell:
Probabilistic Verification of Boolean Functions. 61-115
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Martin92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Martin92
Alain J. Martin:
Asynchronous Datapaths and the Design of an Asynchronous Adder. 117-137

Volume 1, Number 2/3, October 1992

Special Issue on Conputer-Aided Verification: General Methods

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Gupta92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Gupta92
Aarti Gupta:
Formal Hardware Verification Methods: A Survey. 151-238
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RoyS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RoyS92
Valérie Roy, Robert de Simone:
Auto/Autograph. 239-249
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FernandezMJJ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FernandezMJJ92
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron:
On-the-fly Verification of Finite Transition Systems. 251-273
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CourcoubetisVWY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CourcoubetisVWY92
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis:
Memory-Efficient Algorithms for the Verification of Temporal Properties. 275-288

Volume 1, Number 4, December 1992

Special Issue on Computer-Aided Verification: Special Methods I

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Valmari92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Valmari92
Antti Valmari:
A Stubborn Attack on State Explosion. 297-322
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AndersenW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AndersenW92
Henrik Reif Andersen, Glynn Winskel:
Compositional Checking of Satsfaction. 323-354
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Loewenstein92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Loewenstein92
Paul Loewenstein:
Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. 355-383
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CourcoubetisY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CourcoubetisY92
Costas Courcoubetis, Mihalis Yannakakis:
Minimum and Maximum Delay Problems in Real-Time Systems. 385-415

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.