SMUML/canal 1.0.0 — a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models

Reference:

Vesa Ojala. SMUML/canal 1.0.0 — a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models, 2007. Computer program.

Keywords:

SMUML, UML, data abstraction, counterexample analysis

Suggested BibTeX entry:

@misc{SMUML-canal-1.0.0,
    author = {Vesa Ojala},
    note = {Computer program},
    title = {{SMUML}/canal 1.0.0 --- a counterexample analysator for analyzing abstract counterexamples from data abstracted {UML} models},
    year = {2007},
}