Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators.

Anton Wijs Maciej Wilkowski

Published in: SEFM (2019)

Keyphrases

formal verification
multi threaded
program slicing
model checking
operating system
symbolic model checking
multi core processors
automated verification
model checker
bounded model checking
computer architecture
information flow
real time
source code
formal specification
low complexity
software engineering