Alleviating State Explosion During Verification of Behavioral Equivalence

A. Valmari

    Research output: Book/ReportCommissioned report

    Translated title of the contributionAlleviating State Explosion During Verification of Behavioral Equivalence
    Original languageEnglish
    PublisherUniversity of Helsinki
    Number of pages57
    Publication statusPublished - 1992
    Publication typeD4 Published development or research report or study

    Publication series

    NameReport of Dept. of Computer Science, University of Helsinki
    PublisherUniversity of Helsinki
    No.A-1991-4

    Publication forum classification

    • No publication forum level

    Cite this