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 proceeding › Chapter › Academic

    14 Citations (Scopus)
    27 Downloads (Pure)

    Fingerprint

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

    Computer Science