sav-smu.github.io - System Analysis and Verification Group: Home

home > domains > sav-smu.github.io

Example domain paragraphs

Home People Research Tools Publications Positions 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.

Older posts…

Links to sav-smu.github.io (3)

• cposkitt.github.io Chris Poskitt
• yuqichen94.github.io Yuqi Chen 陈宇奇
• chrisposkitt.com Chris Poskitt