Prover-based bounded model-checking and inductive verification of SMI models

Herman Ågreen, Martin Fränzle, Rainer Lochmann

    Research output: Book/ReportReportResearchpeer-review

    Original languageEnglish
    PublisherUniversität Oldenburg and Prover AB
    Publication statusPublished - 2000

    Cite this