Login / Signup
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