Logic against ghosts - comparison of two proof approaches for a list module

SAC, pp. 2186-2195, 2019.

Cited by: 2|Bibtex|Views44|Links
EI
Keywords:
F rama -C deductive verification formal specification internet of things linked listsMore(1+)

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:

Your rating :
0

 

Best Paper
Best Paper of SAC, 2019
Tags
Comments