Skip to content

System Analysis and Verification Group

System Analysis and Verification Group
  • Home
  • People
    • Most Recent Members
    • Former (pre-2018) Members
  • Research
    • Overview
    • Model Checking
      • Process Analysis Toolkit
    • Learning
      • ALearner
      • TLV
      • Tzuyu
      • ZiQian
      • Ziyuan
      • Zilu
    • Smart Contracts
      • AFL for Smart Contracts
    • Concurrency
      • Lock / Immutability Checkers
    • Hybrid Systems
      • HyChecker
    • CPS Testing/Defence
      • Physical Attestation
      • Smart Fuzzing
    • Security Protocols
      • Time-based Protocols
    • Smart Concolic Testing
  • Publications
  • News Archive
  • @sav_sutd

Home

Welcome to the web archive of the former System Analysis and Verification Group, which existed at SUTD from 2010-2019.

Details of our past research projects, members, and publications can be accessed below:

  • Most Recent Group Members and Pre-2018 Group Members
  • Research Projects
  • Publications

Archives

  • June 2017
  • May 2017
  • April 2017
  • November 2016
  • September 2016
  • August 2016

Follow

My Tweets

Subscribe

RSS Feed

© 2021 System Analysis and Verification Group • Powered by GeneratePress