Safety Analysis Techniques for Validating Formal Models During Verification.

Rogério de Lemos Amer Saeed

Published in: SAFECOMP (1999)

Keyphrases

safety analysis
formal models
nuclear power plant
control system
safety critical
rule based systems
formal model
fault model
symbolic model checking
process model
model checking
formal methods
fault tolerant
formal verification
reliability analysis
embedded systems
fuzzy control
information systems