Behavior analysis for validating communication patterns
- Cite this article as:
- Amtoft, T., Nielson, H. & Nielson, F. STTT (1998) 2: 13. doi:10.1007/s100090050015
; 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.