Safety Analysis versus Type Inference

Jens Palsberg Michael I. Schwartzbach

Published in: Inf. Comput. (1995)

Keyphrases

safety analysis
nuclear power plant
symbolic model checking
safety critical
control system
expert systems
dynamic programming
fault model