Verifying Multi-threaded C Programs with SPIN.

Anna Zaks Rajeev Joshi

Published in: SPIN (2008)

Keyphrases

multi threaded
operating system
multi core processors
computer architecture
information flow
multithreading
real time
computer programs
model checking
highly efficient
memory efficient