The Fc2tools set-Reference-Cited by-同舟云学术

The Fc2tools set

Published:1996 Issue: Volume: Page:595-598
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Bouali Amar,Ressouche Annie,Roy Valérie,de Simone Robert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014350

Reference4 articles.

1. A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In Fourth Workshop on Computer-Aided Verification, volume 663 of LNCS, pages 96–108, Montreal, 1992. Springer-Verlag.

2. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The fctools user manual. In final ESPRIT-BRA CONCUR2 deliverables, Amsterdam, October 1995. Available by ftp from cma.cma.fr:pub/verif as file fc2userman.ps.

3. P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43–68, 1990.

4. V. Roy and R. de Simone. AUTO and AUTOGRAPH. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990. AMS-DIMACS.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

2. Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal;Formal Methods for Real-Time and Probabilistic Systems;1999

3. Verifying mobile processes in the HAL environment;Computer Aided Verification;1998

4. An automata based verification environment for mobile processes;Tools and Algorithms for the Construction and Analysis of Systems;1997

5. The Fc2tools set;Algebraic Methodology and Software Technology;1996