A Tool-Assisted Framework for Certified Bytecode Verification.

Gilles Barthe Guillaume Dufay

Published in: FASE (2004)

Keyphrases

main contribution
real time
website
model checking
data mining
information retrieval
case study
data structure
probabilistic model
distributed systems
smart card
conceptual framework