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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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

Authors: 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.