Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.

Marc-Michel Corsini Antoine Rauzy

Published in: ICLP (1993)

Keyphrases

safety analysis
fault model
nuclear power plant
safety critical
symbolic model checking
control system
fault diagnosis
real valued
low cost
boolean functions
fault detection
real time
neural network
expert systems
fault tolerant