Keyphrases
- model checking
- java bytecode
- temporal logic
- virtual machine
- formal verification
- programming language
- temporal properties
- model checker
- java virtual machine
- formal specification
- automated verification
- garbage collection
- efficient execution
- verification method
- computation tree logic
- symbolic model checking
- linear temporal logic
- epistemic logic
- intermediate representation
- transition systems
- memory management
- formal methods
- timed automata
- concurrent systems
- alternating time temporal logic
- general purpose
- bounded model checking
- operating system