- Project Dates: From January 2013 to January 2017
- Project Leader: Dr. Dr Paolo Zuliani
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.