References

ACD97

G.S. Avrunin, J.C. Corbett, and L.K. Dillon.
Analyzing partially-implemented real-time systems.
In Proceedings of the 19th International Conference on Software Engineering, May 1997.

CA94

J.C. Corbett and G.S. Avrunin.
Towards scalable compositional analysis.
Software Engineering Notes, 19(5):53-61, December 1994.
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering.

CGL94

E.M. Clarke, O. Grumberg, and D.E. Long.
Model checking and abstraction.
ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.

CK95

S. C. Cheung and J. Kramer.
Compositional reachability analysis of finite-state distributed systems with user-specified constraints.
In ACM SIGSOFT '95 Symposium on Foundations of Software Engineering, pages 140-150, Washington, DC, October 1995.

CK96

S. C. Cheung and J. Kramer.
Checking subsystem safety properties in compositional reachability analysis.
In Proceedings of the 18th International Conference on Software Engineering, Berlin, March 1996.

DAC97

M.B. Dwyer, G.S. Avrunin, and J.C. Corbett.
Property specification patterns for finite-state verification.
Technical Report 97-10, Kansas State University, Department of Computing and Information Sciences, 1997.

DBDS93

S. Duri, U. Buy, R. Devarapalli, and S.M. Shatz.
Using state space methods for deadlock analysis in Ada tasking.
Software Engineering Notes, 18(3):51-60, July 1993.
Proceedings of the International Symposium on Software Testing and Analysis.

DC94

M.B. Dwyer and L.A. Clarke.
Data flow analysis for verifying properties of concurrent programs.
Software Engineering Notes, 19(5):62-75, December 1994.
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering.

DC96a

M.B. Dwyer and L.A. Clarke.
A compact petri net representation and its implications for analysis.
IEEE Transactions of Software Engineering, 22(11), November 1996.

DC96b

M.B. Dwyer and L.A. Clarke.
A flexible architecture for building data flow analyzers.
In Proceedings of the 18th International Conference on Software Engineering, March 1996.

DC97

M.B. Dwyer and L.A. Clarke.
Flow analysis for verifying specifications of concurrent and distributed software.
Technical Report 97-7, Kansas State University, Department of Computing and Information Sciences, 1997.

DCH97

M.B. Dwyer, V. Carr, and L. Hines.
Model checking graphical user interfaces using abstractions.
In Proceedings of the Sixth Software Engineering Conference together with the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997.
to appear.

DKM⁺94

Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna.
A graphical interval logic for specifying concurrent systems.
ACM Transactions on Software Engineering and Methodology, 3(2):131-165, April 1994.

DS97

M.B. Dwyer and D.A. Schmidt.
Limiting state explosion with filter-based refinement.
In Proceedings of the ILPS workshop on Verification, Abstract Interpretation and Model Checking, October 1997.
to appear.

DW97a

M.B. Dwyer and V. Wallentine.
A framework for parallel adaptive grid simulations.
Concurrency: Practice and Experience, November 1997.
to appear.

DW97b

M.B. Dwyer and V. Wallentine.
Object-oriented coordination abstractions for parallel software.
In Proceedings the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), June 1997.

Dwy95

M.B. Dwyer.
Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs.
PhD thesis, University of Massachusetts at Amherst, September 1995.

Dwy97

M.B. Dwyer.
Modular flow analysis for concurrent software.
In Proceeding of the 12th IEEE Conference on Automated Software Engineering, November 1997.
to appear.

GH93

John V. Guttag and James J. Horning, editors.
Larch: Languages and Tools for Formal Specification.
Texts and Monographs in Computer Science. Springer-Verlag, 1993.
With Stephen J. Garland, Kevin D. Jones, Andrés Modet, and Jeannette M. Wing.

McM93

K.L. McMillan.
Symbolic Model Checking.
Kluwer Academic Publishers, 1993.

SW94

M. Sitariman and B.W. Weide.
Component-based software using resolve.
Software Engineering Notes, 19(4):21-22, October 1994.

WH94

B.W. Weide and J.E. Hollingsworth.
On local certifiability of software components.
Technical Report OSU-CSIRC-1/94-TR-4, Department of Computing and Information Science, The Ohio State University, 1994.

WM97

C. Wang and D.R. Musser.
Dynamic verification of c++ generic algorithms.
IEEE Transactions of Software Engineering, 23(5):314-323, May 1997.

YTL⁺95

M. Young, R.N. Taylor, D.L. Levine, K.A. Nies, and D. Brodbeck.
A concurrency analysis tool suite: Rationale, design, and preliminary experience.
ACM Transactions on Software Engineering and Methodology, 4(1):64-106, January 1995.

YY91

W.J. Yeh and M. Young.
Compositional reachability analysis using process algebra.
In Proceedings of the ACM SIGSOFT Symposium on Testing, Analysis and Verification, pages 49-59, Victoria, Canada, October 1991.