Safety assessment of AltaRica models via symbolic model checking. Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., & Tonetta, S. Sci. Comput. Program., 98:464–483, 2015.
Safety assessment of AltaRica models via symbolic model checking [link]Paper  doi  bibtex   
@article{DBLP:journals/scp/BozzanoCLMMRT15,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Oleg Lisagor and
               Cristian Mattarei and
               Sergio Mover and
               Marco Roveri and
               Stefano Tonetta},
  title     = {Safety assessment of AltaRica models via symbolic model checking},
  journal   = {Sci. Comput. Program.},
  volume    = {98},
  pages     = {464--483},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.06.003},
  doi       = {10.1016/j.scico.2014.06.003},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0