Formal Analysis of Java Programs in JavaFAN.

Azadeh Farzan Feng Chen José Meseguer Grigore Rosu

Published in: CAV (2004)

Keyphrases

formal analysis
java programs
multi threaded
software components
formal methods
java language
java virtual machine
web services
low cost
test suite
operating system
database systems
agent model