Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study.

Frédéric Mangano Simon Duquennoy Nikolai Kosmatov

Published in: CRiSIS (2016)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
coloured petri nets
test bed
temporal logic
functional verification
case study
expert systems
orders of magnitude