Configuration Dynamics Verification Using UPPAAL.
David FabianRadek MaríkPublished in: Configuration Workshop (2013)
Keyphrases
- model checking
- model checker
- formal verification
- temporal logic
- timed automata
- formal specification
- verification method
- dynamical systems
- dynamic model
- formal methods
- artificial intelligence
- asynchronous circuits
- description language
- concurrent systems
- optimal configuration
- expert systems
- neural network
- databases
- signature verification
- initial conditions
- highly nonlinear
- database
- data sets