Formal Verification of a JavaCard Virtual Machine with Frama-C.
Adel DjoudiMartin HánaNikolai KosmatovPublished in: FM (2021)
Keyphrases
- formal verification
- virtual machine
- model checking
- formal specification
- smart card
- operating system
- data center
- bounded model checking
- computing resources
- model checker
- distributed computing
- temporal logic
- automated verification
- virtual memory
- symbolic model checking
- cloud computing environment
- formal methods
- specification language
- low latency
- java card
- program slicing
- multi tasking
- databases
- data structure