Pervasive Compiler Verification - From Verified Programs to Verified Systems.

Dirk Leinenbach Elena Petrova

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

ubiquitous and pervasive
management system
general purpose
programming language
computing systems
complex systems
programming environments
program execution
formal verification
formal methods
computing environments
model checking
databases
distributed systems
data model
database systems
case study
e learning