Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks.

Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen

Browse the full APSEC paper archive.