Bomotest - A formal conformance testing tool, Version 1.5

Tuomo Pyhälä, Keijo Heljanko

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2003
    MoE publication typeI2 ICT software

    Keywords

    • bounded model checking
    • coverage

    Cite this