Using symbolic execution for verifying safety-critical systems.

Alberto Coen-Porisini Giovanni Denaro Carlo Ghezzi Mauro Pezzè

Published in: ESEC / SIGSOFT FSE (2001)

Keyphrases

safety critical
symbolic execution
embedded systems
formal methods
safety analysis
fault tolerant
support systems
expert systems
decision making
learning systems
adaptive systems
databases
cooperative
distributed systems
model checking
user modeling