A Contract-Based Framework for Formal Verification of Embedded Software.

Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan

Browse the full SETTA paper archive.