Marko Mäkelä  Home/Search
Context
Related
| tcs.hut.fi/Publicat...HUTTCSA69.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: tcs.hut.fi/Publications/bibdb/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent and distributed systems are difficult to manage without using formal analysis methods. The user of formal methods has to find a balance between expressive power and tractability. A formalism with small expressive power may not suit well to describing all reallife systems, but on the other hand, performing exhaustive reachability analysis on a system defined using a highly expressive formalism may be an unsolvable problem. Using extended (Update)
Active bibliography (related documents): More All
1.1: Maria: Modular Reachability Analyser For Algebraic System Nets - Mäkelä (2002) (Correct)
1.1: Anna-Maria - Application of New Net-Theoretic Analysis Methods.. - Laboratory (2001) (Correct)
1.1: Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
Similar documents based on text: More All
0.7: Detecting And Exploiting Data Type Symmetries Of Algebraic.. - Junttila (1999) (Correct)
0.5: Maria: Modular Reachability Analyser for Algebraic System Nets - Mäkelä (2002) (Correct)
0.5: On The Symmetry Reduction Method For Petri Nets And Similar.. - Junttila (2003) (Correct)
BibTeX entry: (Update)
@misc{ makela-reachability,
author = "Marko M{\"a}kel{\"a}",
title = "A Reachability Analyser For Algebraic System Nets",
url = "citeseer.ist.psu.edu/633122.html" }
Citations (may not include all citations):1399 Compilers--- Principles (context) - Aho, Sethi et al. - 1986
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
216 Coloured Petri Nets: Basic Concepts (context) - Jensen - 1995
184 International Organization for Standardization - Languages---C, IEC - 1999
184 International Organization for Standardization - Languages---C, IEC - 1998
184 International Organization for Standardization - Systems---OSI, Basic et al. - 1994
150 Computational Complexity (context) - Papadimitriou - 1994
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991
65 TREAT: A better match algorithm for AI production systems (context) - Miranker - 1987
55 SIMULA---an Algol based simulation language (context) - Dahl, Nygaad - 1966
54 Exception handling: Issues and a proposed notation (context) - Goodenough - 1975
41 Theoretical Computer Science (context) - Reisig, algebraic - 1991
39 International Telecommunication Union (context) - Specification, Language et al. - 1996
35 The state explosion problem (context) - Valmari - 1998
28 the verification of temporal properties - Godefroid, Holzmann - 1993
28 Tom Christiansen (context) - Wall - 1997
27 The PEP tool - Grahlmann - 1997
24 On holy wars and a plea for peace (context) - Cohen - 1981
17 Digital Systems Laboratory (context) - Varpaaniemi, Halme et al. - 1995
12 Algebraic System Nets for modelling distributed algorithms - Kindler, Reisig - 1996
10 Flexibility in algebraic nets - Kindler, olzer - 1998
10 Abstract errors for abstract data types (context) - Goguen - 1978
9 Advanced Perl Programming (context) - Srinivasan - 1997
7 PredicateTransition Net (context) - Predicate, In et al. - 1986
7 the stubborn set method in reduced state space generation - Varpaaniemi - 1998
7 Model checking the branching time temporal logic CTL - Heljanko - 1997
7 State space compression in SPIN with GETSs - Gregoire - 1996
6 State space generation: E#ciency and practicality (context) - Valmari - 1988
6 Many-sorted high level nets (context) - Billington - 1989
6 Condensed storage of multi-set sequences (context) - akel - 2000
5 Methodology dynamical analysi SDL program using PredicateTra.. - Methodology, analysis et al. - 1997
4 DesignCPN Reference Manual X Window (context) - Corporation, USA et al. - 1993
4 An evaluation of high-end tools for Petri-nets (context) - orrle - 1998
4 Verifying SDL programs using Petri nets (context) - Husberg - 1998
4 Adding classes to the C language: An exercise in language ev.. (context) - Stroustrup - 1983
4 Petrinetze---Eine Einf uhrung (context) - Reisig - 1986
3 cient computation of enabled transition bindings in high-lev.. (context) - Sanders - 2000
3 Applying compiler techniques to reachability analysis of hig.. (context) - akel - 2000
3 Parallel Programs as Petri Nets (context) - Grahlmann - 1998
3 An interactive PrT-net tool for verification of SDL-specific.. (context) - Kettunen, Montonen et al. - 1988
2 Automatic debugging of communicating systems using the SDT V.. (context) - Ek - 1998
2 Optimising enabling tests and unfoldings of algebraic system.. (context) - akel - 2001
2 Petri-Netz-Methoden und-Werkzeuge (context) - Leszak, Eggert - 1988
2 Electric Fence Malloc Debugger (context) - Perens - 1993
2 Debug Malloc Library (context) - Watson - 1998
1 and Heikki Tuominen (context) - Ruohtula, Kettunen - 1995
1 cient state compaction in SPIN (context) - Geldenhuys, de Villiers - 1999
1 Technische Universit at Darmstadt (context) - Petri, Automaten - 1962
1 Reference Manual (context) - Kemppainen - 1994
1 Orna Gr umberg (context) - Jr - 1999
1 Verification and validation of communication protocols (context) - Kujansuu, Ojala et al. - 1982
1 of Petri Net tools. Petri Net Newsletter (context) - Feldbrugge - 1985
1 Dynamic analysis of SDL programs with Predicate/ Transition .. (context) - Jyrinki - 1997
1 Implementing the front-end of an SDL compiler (context) - akel - 1998
1 a memory access detector (context) - Gingold - 1996
1 Detecting and Exploiting Data Type Symmetries of Algebraic S.. - Junttila - 1999
1 Automated protocol validation (context) - West - 1982
1 Third Degree: heap usage and leak profiler (context) - Dion, Monier - 1998
1 Maria---Modular Reachability Analyzer for Algebraic System N.. (context) - akel - 2000
Documents on the same site (http://www.tcs.hut.fi/Publications/bibdb/): More
Sets In Abelian Groups With Distinct Sums Of Pairs - Haanpää, Östergård (2004) (Correct)
Detecting And Exploiting Data Type Symmetries Of Algebraic.. - Junttila (1999) (Correct)
On The Symmetry Reduction Method For Petri Nets And Similar.. - Junttila (2003) (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