ARMor: fully verified software fault isolation.

Lu Zhao Guodong Li Bjorn De Sutter John Regehr

Published in: EMSOFT (2011)

Keyphrases

fault isolation
software development
user interface
error detection
physical systems
software systems
software quality
artificial intelligence
expert systems
distributed systems
software architecture
software components
modeling language
fault detection
software testing
code generation