Login / Signup
Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders.
Philip W. L. Fong
Robert D. Cameron
Published in:
Java Virtual Machine Research and Technology Symposium (2001)
Keyphrases
</>
distributed systems
multi agent
lightweight
theorem proving
distributed object
databases
object oriented
web applications
formal proof
real time
mobile agents
model checking
computer networks
distributed network