Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing

Jori Dubrovin

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2009
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTKK Reports in Information and Computer Science
    PublisherHelsinki University of Technology, Department of Information and Computer Science


    • Bounded Model Checking
    • Coloured Petri Nets
    • difference logic
    • formal verification
    • partial order method

    Cite this