Skip to content

GEARS: An NWO TOP funded research project

  • Project description
  • Team members
  • Publications
  • Software
  • Events
  • Project description
  • Team members
  • Publications
  • Software
  • Events

Events

2022

  • Dutch Model Checking Day (DMCD’21)

NWO GEARS is funded by NWO, via the TOP c2 funding scheme.

We gratefully acknowledge the support of NVIDIA Corporation with the donation of two Titan Xp's.
Developed by Shuttle Themes. Powered by WordPress.