Parameterized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study

The MCMT specification files and Python script used to call MCMT can be found here.

The MCMT tool can be found at its website here.

To run MCMT, you must also install Yices from SRI here. There are instructions for how to link MCMT and Yices together on the MCMT webpage.