External Links

    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
    runs on