A. Bouali. Weak and branching bisimulation in fctool. Technical Report RR 1575, INRIA, 1992. ESPRIT Basic Research Action 3006: CONCUR, deliverable D3.2.2.  Home/Search   Document Not in Database   Summary   Related Articles

....complementary rather than contradictory, and some tools indeed combine techniques from both families. Moreover, interfaces have been conceived between tools, allowing the combination of various approaches for the analysis of a single problem, while avoiding the duplication of programming effort [5]. I will begin with tools mainly automata based, and finish with the most interactive tools. First comes the Concurrency Workbench (CWB) born at the university of Edinburgh; it covers a lot of aspects of process algebra verification for CCS programs, from automata construction and equivalence ....

....for Basic Lotos inside the lite environment developed by the LotoSphere ESPRIT project. Parametrisation of Mauto is also possible at the level of the action structures. An instance of the system has been developed to cope with the specific action algebra of ESTEREL. 6 FCTOOL The FcTool system [5] is a tool implementing partitioning algorithms for strong, branching and weak bisimulation congruences. It is primarily aimed at efficiency and easy use from within other verification tools. It reads and writes (labelled) transition systems in the FC common format for automata (and soon in FC2, ....

A. Bouali. Weak and branching bisimulation in fctool. Technical Report RR 1575, INRIA, 1992. ESPRIT Basic Research Action 3006: CONCUR, deliverable D3.2.2.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC