Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 14

> 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 14, Number 1, January 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/German99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/German99
Steven M. German:
Introduction to the Special Issue on Verification of Arithmetic Hardware. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ClarkeGZ99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/RuessSS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RuessSS99
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas:
Modular Verification of SRT Division. 45-73
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Russinoff99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/Nadjm-TehraniS99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/LeducBLKP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LeducBLKP99
Guy Leduc, Olivier Bonaventure, Luc Léonard, Eckhart Koerner, Charles Pecheur:
Model-Based Verification of a Security Protocol for Conditional Access to Services. 171-191
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Wong99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Wong99
Wai Wong:
Validation of HOL Proofs by Proof Checking. 193-212
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Moore99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99
Rajeev Alur, Thomas A. Henzinger:
Introduction. 235
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BoigelotG99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/GodefroidL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GodefroidL99
Patrice Godefroid, David E. Long:
Symbolic Protocol Verification with Queue BDDs. 257-271
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/IpD99
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/fmsd/KatzM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KatzM99
Shmuel Katz, Hillel Miller:
Saving Space by Fully Exploiting Invisible Transitions. 311-332

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.