ask others

Formal Methods in System Design, Volume 14

> Home > Journals > Formal Methods in System Design

Volume 14, Number 1, January 1999

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/German99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/German99
Steven M. German:
Introduction to the Special Issue on Verification of Arithmetic Hardware. 5-6
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/ClarkeGZ99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/ClarkeGZ99
Edmund M. Clarke, Steven M. German, Xudong Zhao:
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. 7-44
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/RuessSS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/RuessSS99
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas:
Modular Verification of SRT Division. 45-73
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Russinoff99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Russinoff99
David M. Russinoff:
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode. 75-125

Volume 14, Number 2, March 1999

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Nadjm-TehraniS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Nadjm-TehraniS99
Simin Nadjm-Tehrani, Jan-Erik Strömberg:
Formal Verification of Dynamic Properties in an Aerospace Application. 135-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/LeducBLKP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/LeducBLKP99
Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur:
Model-Based Verification of a Security Protocol for Conditional Access to Services. 171-191
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Wong99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Wong99
Wai Wong:
Validation of HOL Proofs by Proof Checking. 193-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Moore99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Moore99
J Strother Moore:
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View. 213-228

Volume 14, Number 3, May 1999

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/AlurH99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99
Rajeev Alur, Thomas A. Henzinger:
Introduction. 235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BoigelotG99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BoigelotG99
Bernard Boigelot, Patrice Godefroid:
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. 237-255
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/GodefroidL99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/GodefroidL99
Patrice Godefroid, David E. Long:
Symbolic Protocol Verification with Queue BDDs. 257-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/IpD99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/IpD99
C. Norris Ip, David L. Dill:
Verifying Systems with Replicated Components in Mur[b.phiv]. 273-310
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/KatzM99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/KatzM99
Shmuel Katz, Hillel Miller:
Saving Space by Fully Exploiting Invisible Transitions. 311-332

maintained by

, founded at