Model Checking Multi-Task Software on Real-Time Operating Systems.
Toshiaki AokiPublished in: ISORC (2008)
Keyphrases
- model checking
- operating system
- multi task
- computer systems
- windows xp
- temporal logic
- multi task learning
- multi tasking
- formal verification
- formal specification
- learning tasks
- model checker
- formal methods
- symbolic model checking
- computation tree logic
- real time systems
- multi class
- virtual machine
- distributed systems
- feature selection
- data processing
- reactive systems
- bounded model checking
- verification method
- epistemic logic
- learning problems
- software systems
- dynamic analysis
- databases
- information systems
- multi agent systems
- data analysis
- software architecture
- embedded systems