3,818 followers
A comprehensive specification and verification of the L4 microkernel API. ~ Leping Zhang, Yongwang Zhao, Jianxin Li. https://t.co/CVbdOjaGg6 #ITP #IsabelleHOL
A comprehensive specification and verification of the L4 microkernel API. ~ Leping Zhang, Yongwang Zhao, Jianxin Li. https://t.co/CVbdOjaGg6 #ITP #IsabelleHOL
Try it yourself at https://t.co/HiaI2gwWO6 (psst, it also has a Python interface, so you can just $ pip install libmata ). https://t.co/DbrY2pEo1r