JPF verification of habanero Java programs.

Peter Anderson Brandon Chase Eric Mercer

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

java programs
multi threaded
software components
java language
test suite
java virtual machine
real world
artificial intelligence
multi agent systems
open source
operating system