Towards Automatic Exception Safety Verification.

Xin Li H. James Hoover Piotr Rudnicki

Published in: FM (2006)

Keyphrases

safety analysis
model checking
formal verification
face verification
nuclear power plant
machine learning
information retrieval
computer vision
case study
monitoring system
formal methods
signature verification
asynchronous circuits
concurrent systems