Foundational Verification of Cyber-Physical Systems

Our code resides in two repositories on Github. The first contains a branch MEMOCODE-15 for our paper from MEMOCODE 2015 and another branch EMSOFT-16 for our paper from EMSOFT 2016. More recent work on barrier certificates for sampled-data systems, currently in preparation for submission, resides in this repository.