A Constraint-based Framework for the Automated Verification of 

Infinite-state Concurrent Systems


Giorgio Delzanno
giorgio@disi.unige.it






Introduction

AUTOMATIC VERIFICATION of MSR Specifications


Software


Applications



AUTOMATIC FALSIFICATION of MSR Specifications


Software


Applications



References:

        DEFINITION OF THE METHOD AND APPLICATION TO CONSISTENCY PROTOCOLS




Send comments to giorgio@disi.unige.it