Jean-Michel Couvreur, Denis Poitrenaud  Home/Search
Context
Related
| src.lip6.fr/homepages/De...icatpn99.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: src.lip6.fr/homepages/Denis.Po... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover safety as well as liveness properties. We demonstrate that the unfolding method can be used in this context and propose an extension of it, called unfolding graphs, for the definition of failure equivalent graphs. (Update)
Active bibliography (related documents): More All
0.6: Designing a LTL Model-Checker based on Unfolding Graphs - Couvreur, Grivet, Poitrenaud (2000) (Correct)
0.1: Modelling and Analysis of Railway Network Control Logic using.. - Janczura (1998) (Correct)
0.1: A Symbolic Symbolic State Space Representation - Thierry-Mieg, Ilié.. (2004) (Correct)
Similar documents based on text:
99.0: Unknown - (Correct)
BibTeX entry: (Update)
@inproceedings{ couvreur99detection,
author = "Jean-Michel Couvreur and Denis Poitrenaud",
title = "Detection of Illegal Behaviors Based on Unfoldings",
booktitle = "{ICATPN}",
pages = "364-383",
year = "1999",
url = "citeseer.ist.psu.edu/couvreur99detection.html" }
Citations (may not include all citations):135 Partial-order methods for the verification of concurrent sys.. - Godefroid - 1996
103 An improvement of McMillan's unfolding algorithm - Esparza, Romer et al. - 1996
96 Using unfoldings to avoid the state explosion problem in the.. (context) - McMillan
94 Model checking using net unfoldings (context) - Esparza - 1993
85 Coloured Petri nets (context) - Jensen - 1986
70 Branching processes of Petri nets (context) - Engelfriet - 1991
21 Partial order verification with PEP - Best - 1996
13 A structural approach for the analysis of Petri nets by redu.. (context) - Kondratyev, Kishinevsky et al. - 1996
6 New structural invariants for Petri nets analysis (context) - Couvreur, Paviot-Adet - 1994
2 Model checking based on occurrence net graph - Couvreur, Poitrenaud - 1996
Documents on the same site (http://www-src.lip6.fr/homepages/Denis.Poitrenaud/): More
Modelling and Analyzing Systems with Recursive Petri Nets - Haddad, al. (2000) (Correct)
A Model Checking Decision Procedure for Sequential.. - Haddad, Poitrenaud (2000) (Correct)
Decidability and Undecidability Results for - Recursive Petri Nets (1999) (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