Testing and Safety Analysis of AM (Abstract Machine) Specifications.

Howard P. Haughton Kevin Lano

Published in: Refine (1994)

Keyphrases

safety analysis
abstract machine
fault model
symbolic model checking
formal verification
nuclear power plant
control system
safety critical
data model
model checker
artificial intelligence
model checking
state space
test suite
reliability analysis