Formal Verification of Software for the Contiki Operating System Considering Interrupts.
Thilo VörtlerBenny HöcknerPetra HofstedtThomas KlotzPublished in: DDECS (2015)
Keyphrases
- operating system
- formal verification
- computer systems
- model checking
- microsoft windows
- windows xp
- program slicing
- multi tasking
- linux kernel
- virtual machine
- bounded model checking
- model checker
- operating environment
- automated verification
- application programs
- symbolic model checking
- source code
- information systems
- software systems
- data processing
- distributed systems
- memory management
- software development
- high assurance
- virtual memory
- software package
- temporal logic
- software architecture
- databases
- interprocess communication