An Approach for Formal Verification of Updated Java Bytecode Programs.
Razika LounasMohamed MezghicheJean-Louis LanetPublished in: VECoS (2015)
Keyphrases
- formal verification
- java bytecode
- virtual machine
- model checking
- program slicing
- programming language
- efficient execution
- garbage collection
- automated verification
- java virtual machine
- model checker
- bounded model checking
- symbolic model checking
- intermediate representation
- memory management
- object oriented
- general purpose
- cost effective
- query optimization
- data processing
- software engineering