Person
This paper describes a toolkit that assists in the task of generating abstract approximations of process algebraic specifications written in the language μCRL. Abstractions are represented by Modal Labelled Transition Systems, which are mixed transition systems with may and must modalities. The appr
Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.
Go to page top
Go back to contents
Go back to site navigation