Constructing compact models of concurrent Java programs
- 1 March 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (2) , 1-10
- https://doi.org/10.1145/271771.271778
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Timing analysis of Ada tasking programsIEEE Transactions on Software Engineering, 1996
- Elements of stylePublished by Association for Computing Machinery (ACM) ,1996
- Compositional verification by model checking for counter-examplesPublished by Association for Computing Machinery (ACM) ,1996
- Data flow analysis for verifying properties of concurrent programsPublished by Association for Computing Machinery (ACM) ,1994
- Using state space reduction methods for deadlock analysis in Ada taskingPublished by Association for Computing Machinery (ACM) ,1993
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Integrated concurrency analysis in a software development enviornmentACM SIGSOFT Software Engineering Notes, 1989
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985