Compositional Termination Proofs for Multi-threaded Programs.

Corneliu Popeea Andrey Rybalchenko

Published in: TACAS (2012)

Keyphrases

multi threaded
computer programs
operating system
multi core processors
real time
information flow
theorem proving
computer architecture
multithreading
genetic programming