Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.

Wolfgang J. Paul Sabine Schmaltz Andrey Shadrin

Published in: SEFM (2012)

Keyphrases

automated verification
model checking
formal verification
automated reasoning
temporal logic
source code
operating system
small number
virtual machine
neural network
object oriented
data sets
software development
case study
information systems
artificial intelligence
data mining