Generation of multi-formalism state-space analysis tools

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 172-179

  Pezzè, Mauro ^a   Young, Michal ^b  

^a POLITECNICO DI MILANO   (Italy)

^b PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PETRI NETS; SEMANTICS;

ARCHITECTURAL SKETCHES; COMPOSITE BEHAVIOR; CONCURRENT SYSTEMS; EFFICIENT ANALYSIS; INTERNAL REPRESENTATION; REACHABILITY ANALYSIS; SOFTWARE SYSTEMS; STATE-SPACE ANALYSIS;

SOFTWARE TESTING;

EID: 0006280594     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226314     Document Type: Conference Paper

References (10)

1. [DAW88] Laura K. Dillon, George S. Avrunin, and Jack C. Wileden. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Transactions on Programming Languages and Systems, 10(3):374-402, July 1988.
2. Carlo Ghezzi and Dino Mandrioli. On eclecticism in specifications: A case study centered around petri nets. In Proceedings ~th International Workshop on Software Specification and Design, pages 216-225, Monterey, April 1987. IEEE Computer Society.
3. Wolfgang Reisig. Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
4. Raino Lintulampi Rend Elmstrm and Mauro Pezzd. Giving Semantics to SA/RT by Means of High Level Timed Petri Nets. Journal of Real-Time Systems, 5(2/3):249-272, May 1993.
5. Martin Richard and Olivier Roux. An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language. In Formal Techniques in Real.Time and Fault.Tolerant Systems, Second International Symposium, volume 571 of Lecture Notes in Computer Science, pages 429-450, Nijmegan, The Netherlands, January 1992. Springer-Verlag.
6. Bo Sanden. The case for electric [sic] design of real-time software. IEEE Transactions on Software Engineering, 15(3):360-362, March 1989. Correspondence. ('Electric" is apparently a misprint for "Eclectic".).
7. Wei Jen Yeh and Michal Young. Compositional reachability analysis using process algebra. In Proceedings of the Symposium on Software Testing; Analysis, and Ver~fi. cation (TAVfi), pages 49-59, Victoria, British Columbia, October 1991. ACM SIGSOFT, ACM Press.
8. Wei Jen Yeh and Michal Young. Redesigning tasking structures of Ads programs for analysis: A case study. Software Testing, Verification, and Reliability, 4:223-253, December 1994.
9. Pamela Zave. A compositional approach to multiparadigm programming, IEEE Software, 6(5):15-25, September 1989.
10. Pamela Zave and Michael Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 2(4):379-411, October 1993.