Visualisation of reduced abstracted behaviour as a design tool

Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996

Volumn , Issue , 1996, Pages 187-194

  Valmari, A ^a   Karsisto, K ^a   Setala, M ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; GRAPHIC METHODS;

COMPUTER SCREENS; COMPUTER TOOLS; DISTRIBUTED SYSTEMS; GRAPHICAL FORMS; GRAPHICAL REPRESENTATIONS; INCORRECT ACTION; SIMULATION AND TESTING; USER FRIENDLY;

FORMAL METHODS;

EID: 0004107593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMPDP.1996.500586     Document Type: Conference Paper

References (13)

1. Bartlett, K. A. , Scantlebury, R. A. & Wilkinson, P. T. : "A Note on Reliable Full-Duplex Transmission over Half-Duplex Links", Communications ofthe ACM 12 (5) 1969, pp. 260-261.
2. Bolognesi, T. & Brinksma, E. : "Introduction to the IS0 Specification Language LOTOS", Computer Networks and ISDNSystems 14, 1987, pp. 25-59.
3. Cleaveland, R. & Hennessy, M. : "Testing Equivalence as a Bisimulation Equivalence", Proc. Workshop on Automatic Verijication Methods for Finite State Systems, LNCS 407, Springer-Verlag 1990, pp. 11-23.
4. Hoare, C. A. R. : Communicating Sequential Processes, Prentice-Hall 1985, 256 p.
5. International Organization for Standardization: "Information processing systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour", International standard IS0 8807, 1989, 142 p.
6. Savola, R. : "A State Space Generation Tool for LOTOS Specifications", VIT Publications 241, Technical Research Centre of Finland (VTT), Espoo, Finland 1995, 107 p.
7. Setala, M. & Valmari, A. : "Validation and Verification with Weak Process Semantics", Proc. Nordic Seminar on Dependable Computing Systems 1994, Lyngby, Denmark, August 1994, pp. 15-26.
8. Valmari, A. : "Failure-Based Equivalences are Faster than Many Believe", Proc. Structures in Concurrency Theory 95, Workshops in Computing Series, Springer-Verlag 1995, pp. 326-340.
9. Valmari, A. , Kemppainen, J. , Clegg, M. & Levanto, M. : "Putting Advanced Reachability Analysis Techniques Together: The "ARA" Tool", Proc. F o m l Methods Europe 93: Industrial-Strength Formal Methods, LNCS 670, Springer-Verlag 1993, pp. 597-616.
10. Valmari, A. & Savola, R. : "Verification of the Behaviour of Reactive Software with CFFD-semantics and Ara Tools", to appear in Proc. ESA International Symposim on On-Board Real-Time Software, Noordwijk, The Netherlands, Nov. 1995, European Space Agency, 8 p.
11. Valmari, A. & Set&i, M. : Visual Verijcation of Safety and Liveness, Tampere University of Technology, Software Systems Laboratory, Report 17, Tampere, Finland, September 1995, 20 p.
12. Valmari, A. & Tienari, M. : "An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm", Protocol Specification, Testing and Verification XI (Proc. 11 th International IFIP WG 6. 1 Symposium on Pro-Tocol Specification, Testing and Verification, Stockholm, Sweden, June 1991), North-Holland 1991, pp. 3-18.
13. Valmari, A. & Tienari, M. : "Compositional Failure-Based Semantic Models for Basic LOTOS", In print in Formal Aspects of Computing, 1995, 29 p.