![Software / Model checking / Electromagnetism / Boolean algebra / Finite-state machine / Inverter / Semaphore / Model checkers / NuSMV / Electrical engineering Software / Model checking / Electromagnetism / Boolean algebra / Finite-state machine / Inverter / Semaphore / Model checkers / NuSMV / Electrical engineering](https://www.pdfsearch.io/img/b3036dbcf497c19c05657df1c59465c4.jpg) Date: 2002-07-09 12:14:57Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering | | NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – ItalyAdd to Reading ListSource URL: nusmv.fbk.euDownload Document from Source Website File Size: 340,24 KBShare Document on Facebook
|