Verification Featured Projects: Left Column
Correct-by-Design Control Software
Synthesis for Highly Dynamic Systems
Paulo Tabuada (University of California at Los Angeles)
Credible Autocoding and Verification
of Embedded Software (CrAVEs)
Eric Feron (GA Tech) and Arnaud Venet (CMU)
Closed-Loop Formal Verification of ICDs
Using Cardiac Electrophysiological Models
Scott Smolka (SUNY Stony Brook)
Compositionality and Reconfiguration
for Distributed Hybrid Systems
André Platzer (CMU)
Distributed Just-Ahead-Of-Time Verification
of Cyber-Physical Critical Infrastructures
Saman Allari Zonouz (Rutgers)
and Katherine Davis (UIUC)