Applying CEGAR to the Petri Net State Equation
From MaRDI portal
Publication:5894959
DOI10.2168/LMCS-8(3:27)2012zbMath1248.68360OpenAlexW2763862465MaRDI QIDQ5894959
Harro Wimmel, Harro, Karsten Schmidt
Publication date: 22 October 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-8(3:27)2012
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (8)
Skeleton Abstraction for Universal Temporal Properties ⋮ Using approximation for the verification of token-scaling models ⋮ New Search Strategies for the Petri Net CEGAR Approach ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ Unbounded-Thread Program Verification using Thread-State Equations ⋮ Symbolic and Structural Model-Checking ⋮ Computing parameterized invariants of parameterized Petri nets ⋮ Skeleton abstraction for universal temporal properties
Uses Software
This page was built for publication: Applying CEGAR to the Petri Net State Equation