CheckMate CheckMate - A MATLAB-based tool for hybrid system verification and simulation.
Price: $Freeware, Rating: 8, Downloads: 529
Download
Computation Tree Logic Computation Tree Logic - A Matlab package for verifying CTL properties
Price: $Freeware, Rating: 10, Downloads: 718
Download 