Algorithms and Logics for Verification


Dive into the research topics where Algorithms and Logics for Verification is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • FORTE Best Artefact Award

    Willemse, Tim A.C. (Recipient), 20 Jun 2022

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific