Distributed Verification of Multi-threaded C++ Programs.

Stefan Edelkamp Shahid Jabbar Damian Sulewski

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

multi threaded
multi core processors
operating system
distributed systems
information flow
distributed environment
computer architecture
multithreading
real time
model checking
computer networks
computer programs
database systems
software engineering
fault tolerant
grid computing