Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Stanley Bak (Air Force Resarch Laboratory)
October 2016 - Conference Paper Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability

This work proposes a bridge between two important verification methods, software model checking and hybrid systems reachability.