Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li

Browse the full ICSE paper archive.