Login / Signup

Safety assessment of AltaRica models via symbolic model checking.

Marco BozzanoAlessandro CimattiOleg LisagorCristian MattareiSergio MoverMarco RoveriStefano Tonetta
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • symbolic model checking
  • probabilistic model
  • safety analysis
  • model checking