Time-Bounded Verification of CTMCs against MTL specifications.
Marco DiciollaPublished in: ICCSW (2011)
Keyphrases
- automated verification
- concurrent systems
- formal verification
- model checking
- asynchronous circuits
- bounded model checking
- model checker
- multi task learning
- protocol specification
- temporal logic
- delay insensitive
- reactive systems
- verification method
- functional requirements
- specification language
- functional verification
- multiple task learning
- multiple tasks
- multitask learning
- feature space
- formal methods
- multi task
- context sensitive
- high order
- higher order
- multi class