ComFoRT

swMATH7533MaRDI QIDQ19560FDOQ19560

Author name not available (Why is that?)

Official website: http://www.sei.cmu.edu/predictability/tools/comfort/

Cited In (13)

• State/Event Software Verification for Branching-Time Specifications
• Computer Aided Verification
• A model checking-based approach for security policy verification of mobile systems
• Verification of evolving software via component substitutability analysis
• TLPVS
• MAGIC
• Aglets
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Parallel assignments in software model checking
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Three optimizations for assume-guarantee reasoning with \(L^{*}\)

This page was built for software: ComFoRT