model-checkers

Articles

• SPIN model checkerTool for verifying the correctness of software models
• MCRL2Formal specification language
• SPIN model checkerTool for verifying the correctness of software models
• PAT (model checker)Finite-state model checker for concurrent and real-time systems
• SPIN model checkerTool for verifying the correctness of software models
• NuSMVReimplementation and extension of SMV model checker
• SPIN model checkerTool for verifying the correctness of software models
• SPIN model checkerTool for verifying the correctness of software models
• TAPAs model checker