Login / Signup
Verification of Compiler Correctness for the WAM.
Cornelia Pusch
Published in:
TPHOLs (1996)
Keyphrases
</>
general purpose
programming language
model checking
verification method
signature verification
highly optimized
formal verification
databases
data mining
website
database
temporal logic
face verification
software systems
functional verification
java bytecode
similarity measure
social networks
real time