Improving the precision of INCA by eliminating solutions with spurious cycles

IEEE Transactions on Software Engineering

Volumn 28, Issue 2, 2002, Pages 115-128

  Siegel, Stephen F ^b   Avrunin, George S ^a,c  

^a IEEE   (United States)

^b The Manning College of Information and Computer Sciences   (United States)

^c UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Cycles; Finite state verification; INCA; Integer programming

Indexed keywords

CONCURRENT SYSTEMS; FINITE STATE VERIFICATION; INEQUALITY NECESSARY CONDITION ANALYZER;

COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEM RECOVERY; FINITE AUTOMATA; INTEGER PROGRAMMING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036472848     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.988494     Document Type: Article

References (26)

1. Using integer programming to verify general safety and liveness properties
2. Patterns in property specifications for finite-state verification
3. Comparing finite-state verification techniques for concurrent software
4. An empirical comparison of static concurrency analysis techniques
5. An empirical evaluation of three methods for deadlock analysis of ada tasking programs
6. Evaluating deadlock detection methods for concurrent software
7. The model checker SPIN
8. A practical method for bounding the time between events in concurrent real-time systems
9. Automated derivation of time bounds in uniprocessor concurrent systems
10. Towards scalable compositional analysis
11. Data flow analysis for verifying properties of concurrent programs
12. Automatic Verification of finite-state concurrent systems using temporal logic specifications
13. Bandera: Extracting finite-state models from Java source code
14. Tool-supported program abstraction for finite-state verification
15. Complexity of analyzing the synchronization structure of concurrent programs
16. The complexity of reachability in distributed communicating processes
17. On the complexity of event ordering for shared-memory parallel program executions
18. Petri nets: Properties analysis and applications
19. Detection of ada static deadlocks using petri net invariants
20. Verification of safety properties using integer programming: Beyond the state equation