Towards deductive verification of concurrent Linux kernel code with Jessie | IEEE Conference Publication | IEEE Xplore