Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.
Stanley BakSagar ChakiPublished in: EMSOFT (2016)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- cyber physical systems
- formal methods
- formal verification
- formal specification
- intelligent systems
- neural network
- black box
- soft computing
- computational intelligence
- software systems
- discrete event
- meta learning
- verification method
- software development
- data mining
- embedded systems
- software architecture
- learning algorithm
- physical world
- source code
- fuzzy logic
- artificial neural networks
- artificial intelligence
- machine learning