Symbolic Model Checking of Hierarchical UML State Machines

Jori Dubrovin, Tommi Junttila

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    23 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 8th International Conference on Application of Concurrency to System Design (ACSD'08)
    EditorsJonathan Billington, Zhenhua Duan, Maciej Koutny
    PublisherIEEE Press
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication


    • symbolic model checking
    • UML semantics
    • UML state machine
    • verification

    Cite this