Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.

Stanley Bak, Sagar Chaki

Browse the full EMSOFT paper archive.