Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.
Roberto CavadaAlessandro CimattiSergio MoverMirko SessaGiuseppe CadaveroGiuseppe ScaglionePublished in: FMCAD (2018)
Keyphrases
- model checking
- multi domain
- temporal logic
- automated verification
- finite state machines
- formal methods
- symbolic model checking
- formal verification
- reactive systems
- asynchronous circuits
- complex networks
- model checker
- data mining
- text categorization
- training set
- formal specification
- epistemic logic
- active learning
- knowledge based systems
- temporal properties
- verification method
- bounded model checking
- machine learning