Journal: Formal Methods in System Design

Volume 52, Issue 3

227 -- 228Ofer Strichman. Special issue: program equivalence
229 -- 259Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich. Automating regression verification of pointer programs by predicate abstraction
260 -- 276Lakhdar Akroun, Gwen Salaün. Automated verification of automata communicating via FIFO and bag buffers
277 -- 314Andrzej S. Murawski, Nikos Tzevelekos. Algorithmic games for full ground references

Volume 52, Issue 2

117 -- 146Orna Kupferman, Gal Vardi. On relative and probabilistic finite counterability
147 -- 192Jonas Westman, Mattias Nyberg. Conditions of contracts for separating responsibilities in heterogeneous systems
193 -- 226Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero. Solving parity games via priority promotion

Volume 52, Issue 1

1 -- 32Bjørnar Luteberget, Christian Johansen. Efficient verification of railway infrastructure designs against standard regulations
33 -- 87Manfred Broy. Theory and methodology of assumption/commitment based system interface specification and architectural contracts
88 -- 116Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta. Tightening the contract refinements of a system architecture