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
    Pages108-117
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Keywords

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

    Cite this