scientific article; zbMATH DE number 7650344

DOI10.4230/LIPICS.FSTTCS.2019.47MaRDI QIDQ5875685zbMATH OpenFDO

Authors Jérôme Leroux

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2019.47

zbMATH Keywords

formal verificationPetri netsreachability problemvector addition systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cited in

(3)

• Commodification of accelerations for the Karp and Miller construction
• Invariants for one-counter automata with disequality tests
• Structural liveness of conservative Petri nets

This page was built for publication:

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