A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols.
Andrei V. KlimovPublished in: Ershov Memorial Conference (2009)
Keyphrases
- communication protocol
- communication protocols
- byte code
- programming language
- open source
- source code
- protocol specification
- object oriented
- lightweight
- java bytecode
- java programs
- java card
- face verification
- cryptographic protocols
- model checking
- web applications
- object oriented programming
- databases
- signature verification
- database
- smart card
- database applications
- fingerprint verification
- verification method
- high level
- data sets