Research paper co-authored by City’s Dr Martin Nyx Brain wins Best Tool Paper Award at the European Joint Conference on the Theory & Practice of Software (ETAPS)
The paper describes cvc5, a software verification tool and automated theorem prover.
Hashtags: Announcements, Research news, Research study