An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
Coen De RooverIsabel MichielsKim GybelsKris GybelsTheo D'HondtPublished in: ICPC (2006)
Keyphrases
- lightweight
- high level
- low level
- symbolic execution
- development environments
- intermediate level
- high level programming
- higher level
- source code
- hardware designs
- test cases
- model checking
- lower level
- static analysis
- service oriented
- computer programs
- formal verification
- handheld devices
- software development
- communication infrastructure
- software engineering