Model Checking the Branching Time Temporal Logic CTL

K. Heljanko

    Research output: Working paperProfessional

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

    Publication series

    NameSeries A: Research Reports
    PublisherHelsinki University of Technology, Digital Systems Laboratory


    • CTL
    • model cheching
    • PROD
    • reachability analysis
    • temporal logic
    • verification

    Cite this