Formal Verification of Designs with Complex Control by Symbolic Simulation.
Gerd RitterHans EvekingHolger HinrichsenPublished in: CHARME (1999)
Keyphrases
- formal verification
- model checking
- high level
- control system
- model checker
- bounded model checking
- symbolic model checking
- matlab simulink
- mathematical model
- simulation model
- control method
- discrete event
- highly nonlinear
- program slicing
- real world
- complex systems
- orders of magnitude
- source code
- artificial intelligence