SMUML/Suboco 1.10 — an SMT-based UML bounded model checker

Reference:

Jori Dubrovin. SMUML/Suboco 1.10 — an SMT-based UML bounded model checker, 2007. Computer program.

Keywords:

SMUML, UML, satisfiability modulo theories, bounded model checking, verification

Suggested BibTeX entry:

@misc{SMUML-Suboco-1.10,
    author = {Jori Dubrovin},
    note = {Computer program},
    title = {{SMUML}/{Suboco} 1.10 --- an {SMT}-based {UML} bounded model checker},
    year = {2007},
}