Towards modular verification of pathways: fairness and assumptions

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive s…