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.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Amtoft, T., Nielson, H. & Nielson, F. Behavior analysis for validating communication patterns. STTT 2, 13–28 (1998). https://doi.org/10.1007/s100090050015
Issue Date:
DOI: https://doi.org/10.1007/s100090050015