Filtered by: Programming Languages

A research group at NUS Computing has received a Distinguished Paper Award at CAV 2026, one of the flagship conferences on formal methods and verification, for their work on Velvet, a tool that automatically proves whether a piece of code does what it’s meant to do. CAV 2026 was held as part of FLoC 2026, the 9th Federated Logic Conference.