MoonWalker: Verification of .NET Programs.

Niels H. M. Aan de Brugh Viet Yen Nguyen Theo C. Ruys

Published in: TACAS (2009)

Keyphrases

symbolic execution
hardware designs
computer programs
machine learning
model checking
signature verification
concurrent systems
real world
data mining
information technology
logic programming
formal methods
formal verification
fingerprint verification
provably correct
java bytecode