Stanley Bak (Air Force Resarch Laboratory)
Air Force Resarch Laboratory
Publications by Stanley Bak (Air Force Resarch Laboratory)
-
Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability
October 01, 2016 • Conference Paper
Stanley Bak (Air Force Resarch Laboratory)Sagar Chaki
This work proposes a bridge between two important verification methods, software model checking and hybrid systems reachability.
read