Logic against ghosts - comparison of two proof approaches for a list module
SAC, pp. 2186-2195, 2019.
F rama -C deductive verification formal specification internet of things linked listsMore(1+)
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
Full Text (Upload PDF)
PPT (Upload PPT)
Best Paper of SAC, 2019