Modular Verification of Object-Based Programs - Abstract of Invited Talk.

Anindya Banerjee

Published in: FoVeOOS (2011)

Keyphrases

invited talk
symbolic execution
knowledge discovery and data mining
model checking
selected papers
hardware designs
high level
intermediate level
low level
computer programs
formal verification
fuzzy logic
face verification
program committee
modular structure
java bytecode