C/C++ Thread Safety Analysis.

DeLesley Hutchins Aaron Ballman Dean Sutherland

Published in: SCAM (2014)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
reliability analysis
neural network
learning environment
dynamic programming
fault tolerant