Procedure-modular specification and verification of temporal safety properties

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

    Research output: Contribution to journalArticleAcademicpeer-review

    4 Citations (Scopus)
    46 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Procedure-modular specification and verification of temporal safety properties'. Together they form a unique fingerprint.

    Computer Science