论文信息 - Process Calculi, from Theory to Practice: Verification Tools

Process Calculi, from Theory to Practice: Verification Tools

We present here two software tools, Auto and Autograph. Both originated directly from the basic theory of process calculi. Both were experimented on well-known problems to enhance their accordance to users expectations.

[1] André Arnold,et al. MEC: A System for Constructing and Analysis Transition Systems , 1990, AMAST.

[2] Rance Cleaveland,et al. The Concurrency Workbench , 1990, Automatic Verification Methods for Finite State Systems.

[3] K. Larsen. Context-dependent bisimulation between processes , 1986 .

[4] Tommaso Bolognesi,et al. Squiggles - A Tool for the Analysis of LOTOS Specifications , 1988, FORTE.

[5] Didier Vergamini,et al. Verification of distributed systems: an experiment , 1987, Formal Properties of Finite Automata and Applications.

[6] Robert de Simone,et al. An autograph primer , 1989 .

[7] Valerie Lecompte. Verification automatique de programmes esterel , 1989 .

[8] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[9] Robin Milner,et al. Flowgraphs and Flow Algebras , 1979, JACM.

[10] Didier Vergamini. Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO , 1987 .

[11] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[12] G. Boudol,et al. Notes on Algebraic Calculi of Processes , 1989, Logics and Models of Concurrent Systems.