scientific article; zbMATH DE number 1755148

MaRDI QIDQ4535183zbMATH OpenFDO

Authors Marko M. Mäkelä

Publication date 13 June 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750283

zbMATH Keywords

unfoldingreachability analysisunificationhigh-level Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1696911
• scientific article; zbMATH DE number 1617313
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Model checking using net unfoldings
• Model checking using net unfoldings
• A testing perspective on algebraic, denotational, and operational semantics
• A new efficient and flexible algorithm for the design of testable subsystems
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Cited in

(3)

• Optimized Colored Nets Unfolding
• scientific article; zbMATH DE number 1617313 (Why is no real title available?)
• scientific article; zbMATH DE number 2088675 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maria
• LoLA

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 Q4535183)