default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 6

> 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 6, Number 1, January 1995

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LoiseauxGSBB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LoiseauxGSBB95
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem:
Property Preserving Abstractions for the Verification of Concurrent Systems. 11-44
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/McMillan95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/McMillan95
Kenneth L. McMillan:
A Technique of State Space Search Based on Unfolding. 45-65
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BalarinS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BalarinS95
Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
An Iterative Approach to Verification of Real-Time Systems. 67-95
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CorbettA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CorbettA95
James C. Corbett, George S. Avrunin:
Using Integer Programming to Verify General Safety and Liveness Properties. 97-123

Volume 6, Number 2, March 1995

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CoudertM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CoudertM95
Olivier Coudert, Jean Christophe Madre:
The Implicit Set Paradigm: A New Approach to Finite State System Verification. 133-145
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SegerB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SegerB95
Carl-Johan H. Seger, Randal E. Bryant:
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories. 147-189
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HojatiB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HojatiB95
Ramin Hojati, Robert K. Brayton:
An Environment for Formal Verification Based on Symbolic Computations. 191-216
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ClarkeGHJLMN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ClarkeGHJLMN95
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol. 217-232

Volume 6, Number 3, June 1995

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BorjessonLS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BorjessonLS95
Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in Design and Compositional Verification Using TAV. 239-258
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KhendekB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KhendekB95
Ferhat Khendek, Gregor von Bochmann:
Merging Behavior Specifications. 259-293
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StaunstrupM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StaunstrupM95
Jørgen Staunstrup, Niels Mellergaard:
Localized Verification of Modular Designs. 295-320

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.