Garbage Collector Verification for Proof-Carrying Code.

Chunxiao Lin Yiyun Chen Long Li Bei Hua

Published in: J. Comput. Sci. Technol. (2007)

Keyphrases

formal proof
source code
byte code
formal verification
data sets
face verification
model checking
real time
theorem proving
static analysis
formal analysis
information systems
java card
error correcting
fingerprint verification
asynchronous circuits
genetic algorithm