SMUML/Uboco 1.10 — a translator from UML models to NuSMV programs

Reference:

Jori Dubrovin. SMUML/Uboco 1.10 — a translator from UML models to NuSMV programs, 2007. Computer program.

Keywords:

SMUML, UML, bounded model checking, verification

Suggested BibTeX entry:

@misc{SMUML-Uboco-1.10,
    author = {Jori Dubrovin},
    note = {Computer program},
    title = {{SMUML}/{Uboco} 1.10 --- a translator from {UML} models to {NuSMV} programs},
    year = {2007},
}