Formal Modeling and Verification of Low-Level Software Programs.
Björn BartelsSabine GlesnerPublished in: QSIC (2010)
Keyphrases
- low level
- formal methods
- hardware designs
- high level
- software development
- higher level
- modeling language
- free software
- java programs
- software tools
- control flow
- knowledge sharing and reuse
- symbolic execution
- reactive systems
- formal models
- formal analysis
- software components
- visual information
- model checking
- face verification
- computer programs
- lower level
- low level features
- test data generation
- software architecture
- requirements specification
- test cases