- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references17
- Record: found
- Abstract: not found
- Book Chapter: not found
Checking Safety Properties Using Induction and a SAT-Solver
Mary Sheeran, Satnam Singh, Gunnar Stålmarck (2000)
- Record: found
- Abstract: not found
- Article: not found
A state/event-based model-checking approach for the analysis of abstract system properties
- Record: found
- Abstract: not found
- Article: not found
Property-directed incremental invariant generation
Aaron R. Bradley, Zohar Manna (2008)