root

Model – Checkers for Net Condition/Event Systems Net Condition/Event Systems is a formal graphical language that fits well for modelling and verification of distributed embedded and control systems. The models can be formally analysed using special software tools called model-checkers. SESA SESA is a command line software tool for the analysis of Signal-Net Systems. SESA … Software Tools for Formal Verification (Model – checkers)

Visual Framework for Verification of Function Blocks Visual Verification Framework is a tool chain for automatic verification of distributed control systems. The tool chain includes: Visual Verifier – a software tool which analyses models of control systems and proves their properties. The tool includes model-checkers capable of verifying properties on the set of reachable states … Visual Framework for Verification of Function Blocks