Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1996: Algebraic Methodology and Software Technology pp 595–598Cite as

The Fc2tools set

  • Conference
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

Abstract

We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common file exchange format for automata and networks, called fc2. Tool functionalities comprise graphical depiction of objects, global model construction from hierarchical descriptions, various types of model reductions and of verification of simple modal properties by observers, counterexample production and visualisation. We illustrate typical verification sessions conducted on usual academic examples. Based on previous experience of drastic state explosion problems we aim here at efficiency in implementation. We use both explicit representation techniques and implicit techniques such as BDDs, with functional overlap at places.

Available by ftp from ftp://cma.cma.fr/pub/verif. See also the WWW page http://cma.cma.fr/Verification/verif-eng.html

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CMA/Ecole des Mines de Paris, B.P. 207, F-06904, Sophia-Antipolis cedex

    Amar Bouali & Valérie Roy

  2. INRIA, B.P. 93, F-06902, Sophia-Antipolis cedex

    Annie Ressouche & Robert de Simone

Authors
  1. Amar Bouali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Annie Ressouche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valérie Roy
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Robert de Simone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bouali, A., Ressouche, A., Roy, V., de Simone, R. (1996). The Fc2tools set. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014350

Download citation

  • DOI: https://doi.org/10.1007/BFb0014350

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation