School of Computing


Verification of Complex Cyber-Physical Systems

This project will combine and extend simulation-based techniques (statistical model checking) and hybrid systems decision procedures to enable verification of complex, realistic cyber-physical systems. In particular, we will develop a concolic (combined concrete and symbolic) testing framework to complement and extend the strengths of the statistical and numerical techniques, leading to new approaches for verifying cyber-physical systems.

This project is a collaboration effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies.