Kleene Algebra and Bytecode Verification.
Lucja KotDexter KozenPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- java card
- smart card
- model checking
- virtual machine
- java bytecode
- propositional logic
- algebraic expressions
- regular expressions
- relational algebra
- query language
- algebraic geometry
- data model
- source code
- static analysis
- relational data model
- verification method
- petri net
- databases
- face verification
- formal methods
- signature verification
- algebraic structure
- neural network