Verification of concurrent systems with VerCors

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    14 Citations (Scopus)
    26 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Verification of concurrent systems with VerCors'. Together they form a unique fingerprint.

    Computer Science