Keyphrases
- operating system
- virtual machine
- java bytecode
- java card
- byte code
- java virtual machine
- formal verification
- control flow
- high level
- specification language
- programming language
- garbage collection
- smart card
- protocol specification
- model checking
- source code
- formal methods
- static analysis
- elliptic curve
- data flow
- java programs
- asynchronous circuits
- lightweight
- efficient execution
- formal specification
- temporal logic
- intermediate representation
- container terminal
- web applications
- relational databases