Symbolic Counter Abstraction for Concurrent Software.
Gérard BaslerMichele MazzucchiThomas WahlDaniel KroeningPublished in: CAV (2009)
Keyphrases
- software development
- high level
- software architecture
- software systems
- software design
- embedded systems
- commercial software
- software maintenance
- software packages
- hardware design
- symbolic representation
- software tools
- computer systems
- software engineering
- social networks
- artificial intelligence
- software application
- mutual exclusion
- real time
- concurrent programming
- software package
- software quality
- software components
- test cases
- source code
- neural network