Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.
Eyad AlkassarWolfgang J. PaulArtem StarostinAlexandra TsybanPublished in: VSTTE (2010)
Keyphrases
- intelligent environments
- operating system
- pervasive environments
- model checking
- mobile devices
- smart spaces
- database manager
- home environments
- formal verification
- computing environments
- context aware
- virtual machine
- pervasive computing
- times faster
- db universal database
- computer systems
- open source
- embedded systems
- mobile applications
- smart environments
- verification method
- ubiquitous systems
- neural network