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