3.5 Labeled Transition System (LTS) Module

3.5 Labeled Transition System (LTS) Module

Our motive of Labeled Transition System (LTS) module is to provide a visual environment for users to do model checking. Beside using CSP to define a process, users can represent the process by drawing it as a Finite State Machine. Moreover, in this module, we also combine the efficiency of BDD in Symbolic model checking. LTS module uses the CUDD library to model the system and run verification.