Proof-Outlines for Threads in Java.

Erika Ábrahám-Mumm Frank S. de Boer

Published in: CONCUR (2000)

Keyphrases

lightweight
multi threaded
theorem proving
theorem prover
source code
java programs
real time
website
bayesian networks
object oriented
inference rules
cross platform
natural deduction