Login / Signup

The xSAP Safety Analysis Platform.

Benjamin BittnerMarco BozzanoRoberto CavadaAlessandro CimattiMarco GarioAlberto GriggioCristian MattareiAndrea MicheliGianni Zampedri
Published in: TACAS (2016)
Keyphrases
  • safety analysis
  • nuclear power plant
  • control system
  • safety critical
  • symbolic model checking
  • fault model
  • reliability analysis
  • real time
  • artificial intelligence
  • information systems
  • cooperative