Modular Abstractions of Reactive Nodes Using Disjunctive Invariants.

David Monniaux, Martin Bodin

Browse the full APLAS paper archive.