Formal Verification of Industrial Software with Dynamic Memory Management.
Sébastien LabbéArnaud SangnierPublished in: PRDC (2010)
Keyphrases
- formal verification
- memory management
- model checking
- automated verification
- operating system
- program slicing
- garbage collection
- bounded model checking
- source code
- symbolic model checking
- java virtual machine
- model checker
- computer systems
- software architecture
- data model
- image processing
- virtual machine
- hardware implementation
- databases
- software systems
- software engineering
- computer vision