SAV Group Website Launched

sunjunWelcome to the newly launched website of the System Analysis and Verification (SAV) group, led by Prof. Sun Jun at the Singapore University of Technology and Design.

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. We target several different challenging kinds of software and systems, ranging from (concurrent) object-oriented programs to real cyber-physical systems such as SWaT.

We intend for this website to provide an overview of the SAV group’s members, research, and publications. We will also be posting regularly about our activities and new papers: please consider subscribing to our news feed, or following our Twitter account.