iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.

Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Browse the full TASE paper archive.