scientific article; zbMATH DE number 1755148

zbMATH Open0986.68527MaRDI QIDQ4535183FDOQ4535183

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimized Colored Nets Unfolding

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)