ask others

Formal Methods in System Design, Volume 52

> Home > Journals > Formal Methods in System Design

Volume 52, Number 1, February 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/LutebergetJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/LutebergetJ18
Bjørnar Luteberget, Christian Johansen:
Efficient verification of railway infrastructure designs against standard regulations. 1-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Broy18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Broy18
Manfred Broy:
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. 33-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/CimattiDT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/CimattiDT18
Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta:
Tightening the contract refinements of a system architecture. 88-116

Volume 52, Number 2, April 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/KupfermanV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/KupfermanV18
Orna Kupferman, Gal Vardi:
On relative and probabilistic finite counterability. 117-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/WestmanN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/WestmanN18
Jonas Westman, Mattias Nyberg:
Conditions of contracts for separating responsibilities in heterogeneous systems. 147-192
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BenerecettiDM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BenerecettiDM18
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
Solving parity games via priority promotion. 193-226

Volume 52, Number 3, June 2018

Special issue on Program Equivalence

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Strichman18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Strichman18
Ofer Strichman:
Special issue: program equivalence. 227-228
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/KlebanovRU18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/KlebanovRU18
Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich:
Automating regression verification of pointer programs by predicate abstraction. 229-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/AkrounS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/AkrounS18
Lakhdar Akroun, Gwen Salaün:
Automated verification of automata communicating via FIFO and bag buffers. 260-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/MurawskiT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/MurawskiT18
Andrzej S. Murawski, Nikos Tzevelekos:
Algorithmic games for full ground references. 277-314

maintained by

, founded at