Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.
Yu YangXiaofang ChenGanesh GopalakrishnanRobert M. KirbyPublished in: SPIN (2007)
Keyphrases
- model checking
- partial order reduction
- software systems
- computing platform
- distributed environment
- scalable distributed
- lightweight
- peer to peer
- distributed systems
- source code
- computer systems
- software development
- computer networks
- software components
- software tools
- software maintenance
- software design
- software package
- configuration management
- dynamic environments
- user interface
- computing infrastructure
- open source