Skip to Main content Skip to Navigation
Conference papers

Detection of Illegal Behaviours Based on Unfoldings

Jean-Michel Couvreur Denis Poitrenaud 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
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 computation of failure equivalent graphs.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 2:47:16 PM
Last modification on : Tuesday, January 12, 2021 - 9:38:03 AM

Links full text



Jean-Michel Couvreur, Denis Poitrenaud. Detection of Illegal Behaviours Based on Unfoldings. 20th International Conference on Application and Theory of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. pp.364-383, ⟨10.1007/3-540-48745-X_22⟩. ⟨hal-01574429⟩



Record views