Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.
Mark L. McKelvin Jr.Edward B. Gamble Jr.Gerard J. HolzmannPublished in: PRDC (2011)
Keyphrases
- model checking
- operating system
- multi task
- temporal logic
- multitask learning
- computer systems
- formal specification
- symbolic model checking
- model checker
- computation tree logic
- formal verification
- automated verification
- verification method
- multi task learning
- transition systems
- learning tasks
- bounded model checking
- epistemic logic
- windows xp
- temporal properties
- multi class
- formal methods
- information systems
- transfer learning
- belief revision
- pairwise