|
8
|
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs
– James C. Corbett
- 1994
|
|
17
|
Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs
– Matthew B. Dwyer
- 1995
|
|
30
|
An Empirical Comparison of Static Concurrency Analysis Techniques
– A. T. Chamillard, Lori A. Clarke, George S. Avrunin
- 1996
|
|
34
|
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs
– James Corbett
- 1998
|
|
11
|
Improving the precision of INCA by eliminating solutions with spurious cycles
– Stephen F. Siegel, George S. Avrunin
- 2002
|
|
10
|
A Compact Petri Net Representation for Concurrent Programs
– Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
- 1994
|
|
5
|
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification
– James C. Corbett
- 1993
|
|
39
|
Using Integer Programming to Verify General Safety and Liveness Properties
– James C. Corbett, George S. Avrunin
- 1993
|
|
|
Software Model Checking: The VeriSoft Approach
– Patrice Godefroid Bell
- 2003
|
|
324
|
Model Checking for Programming Languages using VeriSoft
– Patrice Godefroid
- 1997
|
|
22
|
Verification of Communication Protocols Using Data Flow Analysis
– Gleb Naumovich , Lori A. Clarke, Leon J. Osterweil
- 1996
|
|
2
|
Automatic Real-Time Analysis of Ada Tasking Programs for Embedded Systems
– U. Buy, R. H. Sloan
|
|
118
|
Property Specification Patterns for Finite-State Verification
– Matthew Dwyer, George S. Avrunin, James C. Corbett
- 1998
|
|
20
|
An Application Of Petri Net Reduction For Ada Tasking Deadlock Analysis
– S. M. Shatz, S. Tu, T. Murata, S. Duri
- 1996
|
|
3
|
Comparing Implementation Strategies for Composite Data Flow Analysis Problems
– Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
- 1998
|
|
1
|
A Specification-Based Approach to Concurrency Analysis
– Ugo Buy, Robert Moll
- 1995
|
|
27
|
Applying static analysis to software architectures
– Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
- 1997
|
|
44
|
Detecting Deadlocks In Concurrent Systems
– Lisbeth Fajstrup , Eric Goubault, Martin Raussen
- 1998
|
|
3
|
A Run-time Environment for a Validation Language
– Willem Conradie Visser
- 1993
|
