Verification of a scheduler in B through a timed automata specification.
Odile NasrJean-Paul BodeveixMamoun FilaliMiloud Rached IritPublished in: SAC (2006)
Keyphrases
- timed automata
- model checking
- formal verification
- formal specification
- temporal logic
- formal methods
- reachability analysis
- asynchronous circuits
- reactive systems
- verification method
- linear temporal logic
- specification language
- scheduling algorithm
- concurrent systems
- machine learning
- formal analysis
- theorem prover
- probability distribution
- neural network
- protocol specification