Eric Madelaine  Home/Search
Context Related
| sop.inria.fr/meije...concurtools.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/meije/meijetools (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. (Update)
Context of citations to this paper: More
.... static process calculi) the semantic based verification tools developed for static process calculi (e.g. CPS93] we refer to [IP91, Mad92] for a survey) cannot be directly re used for the calculus, and, up to now, the only available verification tool [VM94] decides a...
...can occur. 3 Verification tools in lite A number of tools for automata analysis have been developed recently by research labs (see e.g. [14]) We have integrated in lite: ffl Auto, for the efficient construction and analysis of automata. ffl AutoGraph, for the graphical...
Cited by: More
Formalisation and verification of the Chilean electronic.. - Barros, Madelaine (2004) (Correct)
Formal Description and Analysis for Distributed Systems - Barros, Madelaine (Correct)
A Compact File Format for Labeled Transition Systems - van Langevelde (2001) (Correct)
Active bibliography (related documents): More All
1.0: The Concurrency Workbench: A Semantics Based Tool for.. - Cleaveland, Parrow.. (1994) (Correct)
0.7: Verification of LOTOS Specifications using Term Rewriting.. - Kirkwood (1994) (Correct)
0.7: Specification and Verification of a Sliding Window Protocol .. - Madelaine, Vergamini (1991) (Correct)
Similar documents based on text: More All
0.2: Beyond Window Sharing Hacks: Support for First-Class Window.. - John Menges Kevin (Correct)
0.2: YOO (Why Object-Orientation) - Rensink (2000) (Correct)
0.2: An Architecture for Integrating Concurrency Control into.. - Heineman, Kaiser (1995) (Correct)
Related documents from co-citation: More All
8: Auto: A verification tool for distributed systems using reduction of finite auto.. (context) - Madelaine, Vergamini - 1989
6: An action-based framework for verifying logical and behavioural properties of co.. - De Nicola, Fantechi et al. - 1993
6: Communication and Concurrency (context) - Milner - 1989
BibTeX entry: (Update)
E. Madelaine. Verification tools from the CONCUR project. Bullettin of EATCS 47, 1992. http://citeseer.ist.psu.edu/madelaine92verification.html More
@inproceedings{ madelaine92verification,
author = "Eric Madelaine and Didier Vergamini",
title = "Verification of Communicating Processes by Means of Automata Reduction and Abstraction",
booktitle = "Symposium on Theoretical Aspects of Computer Science",
pages = "613-614",
year = "1992",
url = "citeseer.ist.psu.edu/madelaine92verification.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
299 Algebraic Theory of Processes (context) - Hennessy - 1988
190 Results on the propositional -calculus (context) - Kozen - 1983
139 Cambridge University Press (context) - Baeten, Weijland - 1990
73 The concurrency workbench (context) - Cleaveland, Parrow et al. - 1989
60 A process specification formalism (context) - Mauw, Veltink - 1990
52 A modal process logic (context) - Larsen, Thomsen - 1988
48 Generating bdds for symbolic model checking in ccs (context) - Enders, Filkorn et al. - 1991
46 Modal specifications (context) - Larsen - 1990
42 Compilation and verification of lotos specifications - Garavel, Sifakis - 1990
38 Safety for branching time semantics - Bouajjani, Fernandez et al. - 1991
30 Proof systems for satisfiability in hennessy-milner logic wi.. (context) - Larsen - 1990
28 Testing equivalence as a bisimulation equivalence (context) - Cleaveland, Hennessy - 1989
28 Notes on algebraic calculi of processes (context) - Boudol - 1985
28 Pam: A process algebra manipulator - Lin - 1991
28 Auto: A verification tool for distributed systems using redu.. (context) - Madelaine, Vergamini - 1989
18 Finiteness conditions and structural construction of automat.. - Madelaine, Vergamini - 1990
17 Ald'ebaran: A tool for verification of communicating process.. - Fernandez - 1989
17 verification of behavioural equivalences and preorders (context) - Fernandez, Mounier et al. - 1991
17 MEC: a system for constructing and analysing transition vect.. (context) - Arnold - 1990
12 Evaluation of tools for the analysis of communicating system.. (context) - Inverardi, Priami - 1991
10 Specification and verification of a sliding window protocal .. - Madelaine, Vergamini - 1991
10 Winston: A tool for hierarchical design and simulation of co.. (context) - Malhotra, Smolka et al. - 1988
9 CD-protocol with CCS (context) - Parrow, CSMA - 1987
9 Experiment with AUTO and AUTOGRAPH on a simple case sliding .. (context) - Boudol, de Simone et al. - 1988
9 Equation solving using modal transition systems (context) - Larsen, Xinxin - 1990
9 a logic-based proof technique using partial specifications (context) - Cleaveland, Steffen et al. - 1990
8 A proof assistant for psf (context) - Mauw, Veltink - 1991
8 Efficient verification of determinate processes (context) - Qin - 1991
6 A two-level formal verification methodology using hol and co.. (context) - Seger, Joyce - 1991
5 Mechanizing a proof by induction of process algebra specific.. (context) - Nesi - 1991
4 The current state of bisimulation tools (context) - Korver - 1991
4 Process calculi from theory to practice: Verification tools (context) - Boudol, Roy et al. - 1989
4 of Mathematics and Computer Science (context) - Larsen, Godskesen et al. - 1989
3 Proving process calculi translations in ECRINS: The PureLoto.. (context) - Doumenc, Madelaine et al. - 1990
3 Communication protocols for the BHIVE multicomputer (context) - Goyer - 1991
3 A semantics-based tool for the verification of finite-state .. (context) - Cleaveland, Parrow et al. - 1989
2 Bisimulation equivalence and divergence in CCS (context) - Walker - 1988
1 High level devices in Meije-Sccs (context) - de Simone - 1985
1 Fc: A common format representation for automata (context) - Fernandez, Madelaine et al. - 1991
1 a proof generaing system for higher order logic (context) - Gordon - 1987
1 ESPRIT Basic Research Action 3006: CONCUR (context) - Bouali, branching et al. - 1992
1 Squiggles: A tool for the analysis of LOTOS specficiations (context) - Bolognesi, Caneve - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/meije/meijetools.html): More
Finiteness Conditions and Structural Construction of.. - Eric Madelaine And (1990) (Correct)
A Front-End Generator for Verification Tools - Cleaveland, Madelaine, Sims (1995) (Correct)
An Exercise in Protocol Verification - Gnesi Madelaine Ristori (Correct)
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