Automatic Model Building and Verification of Embedded Software with UPPAAL.

Xiaoli Gong, Jie Ma, Qingcheng Li, Jin Zhang

Browse the full TrustCom paper archive.