default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 25

> 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 25, Number 1, July 2004

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Godskesen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Godskesen04
Jens Chr. Godskesen:
Connectivity Testing. 5-38
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AbdullaCBJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AbdullaCBJ04
Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson:
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. 39-65
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/YoravG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/YoravG04
Karen Yorav, Orna Grumberg:
Static Analysis for State-Space Reductions Preserving Temporal Logics. 67-96

Volume 25, Number 2-3, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Sharygina04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Sharygina04
Natasha Sharygina:
Guest Editorial. 103
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ClarkeKSY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ClarkeKSY04
Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
Predicate Abstraction of ANSI-C Programs Using SAT. 105-127
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakiCGOSY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakiCGOSY04
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav:
Efficient Verification of Sequential and Concurrent C Programs. 129-166
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BratDGGHLPVVW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BratDGGHLPVVW04
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington:
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. 167-198
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DwyerHRR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DwyerHRR04
Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. 199-240
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SharyginaBXKL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SharyginaBXKL04
Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin:
Lessons Learned from Model Checking a NASA Robot Controller. 241-270

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.