Compiling Sandboxes: Formally Verified Software Fault Isolation.

Frédéric Besson Sandrine Blazy Alexandre Dang Thomas P. Jensen Pierre Wilke

Published in: ESOP (2019)

Keyphrases

fault isolation
diagnostic tests
physical systems
source code
software development
software architecture
software systems
fault detection
neural network
expert systems
data model
fault tolerant
database management
design patterns
software components