Model Checking of Hybrid Systems Using Shallow Synchronization.
Lei BuAlessandro CimattiXuandong LiSergio MoverStefano TonettaPublished in: FMOODS/FORTE (2010)
Keyphrases
- hybrid systems
- model checking
- temporal logic
- intelligent systems
- black box
- neural network
- meta learning
- computational intelligence
- discrete event
- formal specification
- model checker
- artificial intelligence
- formal verification
- symbolic model checking
- epistemic logic
- soft computing
- process algebra
- computation tree logic
- verification method
- automated verification
- formal methods
- simulation model
- bounded model checking
- knowledge acquisition
- rough sets
- software engineering
- multi agent