International Journal on Software Tools for Technology Transfer

, Volume 2, Issue 1, pp 13–28

Behavior analysis for validating communication patterns

  • Torben Amtoft
  • Hanne Riis Nielson
  • Flemming Nielson
Special section on program analysis tools

DOI: 10.1007/s100090050015

Cite this article as:
Amtoft, T., Nielson, H. & Nielson, F. STTT (1998) 2: 13. doi:10.1007/s100090050015

behaviors

; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system that infers behaviors from a useful fragment of Concurrent ML programs; it is based on previously developed theoretical results and forms the core of a system available on the Internet. By means of a case study, used as a benchmark in the literature, we shall see that the system facilitates the validation of certain safety conditions for reactive programs.

Key words: Process algebras – Concurrent ML – Type and effect systems – Validation of safety conditions

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Torben Amtoft
    • 1
  • Hanne Riis Nielson
    • 1
  • Flemming Nielson
    • 1
  1. 1.DAIMI, Aarhus University; Ny Munkegade, DK-8000 Aarhus C, Denmark; E-mail: {tamtoft,hrn,fn}@daimi.aau.dkDK