Towards modular verification of pathways fairness and assumptions 英文论文文献.docVIP

Towards modular veri?cation of pathways: fairness and assumptions Peter Dr′abik Andrea Maggiolo-Schettini Paolo Milazzo Istituto di Informatica e Telematica Consiglio Nazionale delle Ricerche Pisa, Italy Dipartimento di Informatica Universit`a di Pisa Pisa, Italy Dipartimento di Informatica Universit`a di Pisa Pisa, Italy peter.drabik@iit.cnr.it maggiolo@di.unipi.it milazzo@di.unipi.it Modular veri?cation is a technique used to face the state explosion problem often encountered in the veri?cation of properties of complex systems such as concurrent interactive systems. The modular approach is