Data flow analysis for verification of application-specific properties of concurrent software
With the proliferation of concurrent software systems, automated finite state verification techniques for checking that a software system conforms to a behavior specification become extremely important in improving software quality. Such techniques can be used both for detecting faults of certain ki...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
ScholarWorks@UMass Amherst
1999
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI9950192 |