Behavior analysis for validating communication patterns

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

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Personalised recommendations