Parameterized Verification of Multithreaded Software Libraries.
Thomas BallSagar ChakiSriram K. RajamaniPublished in: TACAS (2001)
Keyphrases
- software development
- software systems
- software tools
- bug localization
- formal methods
- digital libraries
- hardware designs
- multimedia
- software platform
- software application
- software package
- model checking
- computer systems
- software developers
- software design
- software testing
- software architecture
- source code
- mutual exclusion
- text files
- multi agent systems
- metadata