Provably correct loops bounds for realtime Java programs.

James J. Hunt Fridtjof Siebert Peter H. Schmitt Isabel Tonin

Published in: JTRES (2006)

Keyphrases

provably correct
java programs
real time
multi threaded
situation calculus
formal methods
java language
software components
test suite
fine grained
software engineering
java virtual machine