The nuXmv Symbolic Model Checker Chapter uri icon

authors

  • Cavada, Roberto
  • Cimatti, Alessandro
  • Dorigatti, Michele
  • Griggio, Alberto
  • Mariotti, Alessandro
  • Micheli, Andrea
  • Mover, Sergio
  • Roveri, Marco
  • Tonetta, Stefano

publication date

  • January 1, 2014