BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (4)
use (3)
tool (2)
check (2)
map (1)

Stem smv$ (all stems)

7 papers:

ICSTICST-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.
CAVCAV-2010-FerranteMNPS #model checking
A NuSMV Extension for Graded-CTL Model Checking (AF, MM, MN, MP, FS), pp. 670–673.
ASEASE-2004-LuADN #semantics
Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.
DACDAC-2004-LuJ #using #verification
Verifying a gigabit ethernet switch using SMV (YL, MJ), pp. 230–233.
Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.
CAVCAV-2002-CimattiCGGPRST #model checking
NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
CAVCAV-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.