Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera.

Xian Li, Kerstin Bauer, Klaus Schneider

Browse the full FedCSIS paper archive.