Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.
Dirk BeyerMatthias DanglPublished in: CAV (2) (2016)
Keyphrases
- web services
- hardware designs
- error rate
- user friendly
- computer graphics
- error bounds
- model checking
- virtual reality
- business processes
- error analysis
- web service composition
- service providers
- user interaction
- web applications
- service discovery
- formal methods
- error detection
- signature verification
- web environment
- fault localization
- verification method
- xml technology
- learning environment