Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Fri, 30 Jun 2023 16:16:15 GMT access-control-allow-origin: * strict-transport-security: max-age=31556952 etag: W/"649effcf-b5aa" expires: Fri, 16 Jan 2026 01:41:53 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: A5A0:D1B32:E0DD:14524:69699509 accept-ranges: bytes age: 0 date: Fri, 16 Jan 2026 01:31:53 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210097-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768527114.546608,VS0,VE237 vary: Accept-Encoding x-fastly-request-id: 47c62b98c2877709c4f07bd00e764f938217bd46 content-length: 5495 System Analysis and Verification Group: Home

We are the System Analysis and Verification (SAV) Group at Singapore Management University!

Our group develops systematic tools, theories, and methodologies for ensuring the correctness, reliability, and efficiency of software and systems, focusing on automated techniques such as model checking, machine learning, and program analysis.

Old group photo... to be updated post-COVID!

News

January 01, 2022
Congratulations to Sun Jun on being promoted to (full) Professor of Computer Science!
July 04, 2021
Congratulations to Nguyen Duy Tai for being awarded the SMU Presidential Doctoral Fellowship 2021/22. Recipients of this Fellowship are selected from the top 30% of PhD students across SMU. Tai has won this two years in a row – a fantastic achievement!
May 25, 2021
Congratulations to Sun Jun on receiving the Lee Kuan Yew Fellowship (2021-23). This is his second, having previously received one from 2007-10.
April 01, 2021
Congratulations to Richard Schumi and Sun Jun on receiving the EASST best paper award for their FASE/ETAPS paper, SpecTest: Specification-Based Compiler Testing.