Logic against ghosts - comparison of two proof approaches for a list module
SAC, pp. 2186-2195, 2019.
EI
Keywords:
Abstract:
Modern verification projects continue to offer new challenges for formal verification. One of them is the linked list module of Contiki, a popular open-source operating system for the Internet of Things. It has a rich API and uses a particular list representation that make it different from the classical linked list implementations. Being...More
Code:
Data:
Best Paper
Best Paper of SAC, 2019
Tags
Comments