HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

The FCTOOLS User Manual (Version 1.0)

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 {\sc 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: dining philosophers, mutual exclusion algorithms and round-robin schedulers. 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 {\sc BDD}s, with functional overlap at places.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:45:03 PM
Last modification on : Friday, February 4, 2022 - 3:24:59 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:07:08 PM


  • HAL Id : inria-00069980, version 1


Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone. The FCTOOLS User Manual (Version 1.0). [Technical Report] RT-0191, INRIA. 1996, pp.34. ⟨inria-00069980⟩



Record views


Files downloads