7 papers:
ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web- A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
CAV-2010-FerranteMNPS #model checking- A NuSMV Extension for Graded-CTL Model Checking (AF, MM, MN, MP, FS), pp. 670–673.
ASE-2004-LuADN #semantics- Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.
DAC-2004-LuJ #using #verification- Verifying a gigabit ethernet switch using SMV (YL, MJ), pp. 230–233.
KR-2002-DoniniLMS- Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.
CAV-2002-CimattiCGGPRST #model checking- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.