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
    No.TKK-ICS-R14

    Keywords

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

    Cite this