Model Checking \mu μ C/OS-III Multi-task System with TMSVL.
Jin CuiZhenhua DuanCong TianNan ZhangConghao ZhouPublished in: ICFEM (2015)
Keyphrases
- model checking
- multi task
- multi task learning
- temporal logic
- learning tasks
- formal verification
- multi class
- model checker
- symbolic model checking
- temporal properties
- automated verification
- multiple tasks
- formal specification
- computation tree logic
- transfer learning
- gaussian processes
- feature selection
- formal methods
- sparse learning
- transition systems
- concurrent systems
- epistemic logic
- verification method
- learning problems
- bounded model checking
- timed automata
- reactive systems
- information gain
- deterministic finite automaton