Verified lightweight bytecode verification.

Gerwin Klein Tobias Nipkow

Published in: Concurr. Comput. Pract. Exp. (2001)

Keyphrases

lightweight
java card
smart card
virtual machine
wireless sensor networks
source code
model checking
communication infrastructure
java bytecode
static analysis
social networks
dos attacks
development environments