ComFoRT
From MaRDI portal
Software:19560
swMATH7533MaRDI QIDQ19560FDOQ19560
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
