Formal Methods

Home / Research / Research Areas / Formal Methods
Formal methods are mathematical approaches to software and system development which support the rigorous specification, design and verification of computer systems.

Faculty

  • Sun Jun

Sun Jun

Associate Professor
PhD, National University of Singapore