ComFoRT
From MaRDI portal
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
- 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^{*}\)
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for software: ComFoRT
