Login / Signup

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.

Piergiorgio BertoliMarco BozzanoAlessandro Cimatti
Published in: MoChArt (2006)
Keyphrases
  • safety analysis
  • symbolic model checking
  • nuclear power plant
  • control system
  • model checking
  • safety critical
  • partial observability
  • fault model
  • formal verification
  • binary decision diagrams
  • learning process