A Reachability Predicate for Analyzing Low-Level Software.
Shaunak ChatterjeeShuvendu K. LahiriShaz QadeerZvonimir RakamaricPublished in: TACAS (2007)
Keyphrases
- low level
- high level
- software development
- software tools
- software systems
- higher level
- source code
- software design
- computer systems
- software architecture
- low level features
- software maintenance
- user interface
- embedded systems
- personal computer
- mid level
- software evolution
- hardware design
- data sets
- analysis tool
- software platform
- software developers
- lower level
- state space
- mobile devices
- case study