Translation Tool for LTS BMC

Toni Jussila

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2003
    MoE publication typeI2 ICT software

    Keywords

    • Bounded Model Checking
    • Verification

    Cite this