Forward analysis for WSTS. II: Complete WSTS

DOI10.2168/LMCS-8(3:28)2012MaRDI QIDQ3166218zbMATH OpenOpenAlexFDO

Authors Jean Goubault-Larrecq, Alain Finkel

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:28)2012

zbMATH Keywords

clovercompletioncoverdcpoverificationwell-structured transition systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Forward Analysis for WSTS, Part II: Complete WSTS
• The Theory of WSTS: The Case of Complete WSTS
• Forward analysis for WSTS. I: Completions
• Forward analysis for WSTS. III: Karp-Miller trees
• Forward analysis for WSTS. III: Karp-Miller trees

Cited in

(21)

• The ideal theory for WSTS
• Commodification of accelerations for the Karp and Miller construction
• Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable
• Coverability trees for Petri nets with unordered data
• The Theory of WSTS: The Case of Complete WSTS
• Forward analysis and model checking for trace bounded WSTS
• Deciding Structural Liveness of Petri Nets
• Forward analysis and model checking for trace bounded WSTS
• Forward analysis for WSTS, part I: completions
• Forward Analysis for WSTS, Part II: Complete WSTS
• Regular separability of well-structured transition systems
• Forward analysis for WSTS. III: Karp-Miller trees
• Verification of flat FIFO systems
• Forward analysis for WSTS. III: Karp-Miller trees
• Partial-observation stochastic games, how to win when belief fails
• Forward analysis for WSTS. I: Completions
• Verification of Flat FIFO Systems
• The ideal view on Rackoff's coverability technique
• Infinitary Noetherian constructions II. Transfinite words and the regular subword topology
• Bi-reachability in Petri nets with data
• Separability and non-determinizability of WSTS

This page was built for publication: Forward analysis for WSTS. II: Complete WSTS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3166218)