NuSMV-2.3.99-CAV2006

Timo Latvala; Tommi Junttila

NuSMV-2.3.99-CAV2006

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2006
MoE publication type	I2 ICT applications

Keywords

Alternating automaton
Bounded model checking
Computer aided verification
NuSMV
Property specification language
PSL

Cite this

@misc{2bea8e1fba8a4a34bc0b190be2405108,

title = "NuSMV-2.3.99-CAV2006",

keywords = "Alternating automaton, Bounded model checking, Computer aided verification, NuSMV, Property specification language, PSL, Alternating automaton, Bounded model checking, Computer aided verification, NuSMV, Property specification language, PSL, Alternating automaton, Bounded model checking, Computer aided verification, NuSMV, Property specification language, PSL",

author = "Timo Latvala and Tommi Junttila",

year = "2006",

language = "English",

}

TY - ADVS

T1 - NuSMV-2.3.99-CAV2006

AU - Latvala, Timo

AU - Junttila, Tommi

PY - 2006

Y1 - 2006

KW - Alternating automaton

KW - Bounded model checking

KW - Computer aided verification

KW - NuSMV

KW - Property specification language

KW - PSL

KW - Alternating automaton

KW - Bounded model checking

KW - Computer aided verification

KW - NuSMV

KW - Property specification language

KW - PSL

KW - Alternating automaton

KW - Bounded model checking

KW - Computer aided verification

KW - NuSMV

KW - Property specification language

KW - PSL

UR - http://www.tcs.hut.fi/~timo/cav2006/

M3 - Software

ER -

NuSMV-2.3.99-CAV2006

Keywords

Other files and links

Cite this