Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code.

David Sann, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey

Browse the full ICECCS paper archive.