scientific article; zbMATH DE number 1755146

MaRDI QIDQ4535180zbMATH OpenFDO

Authors Timo Latvala

Publication date 13 June 2002

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

zbMATH Keywords

fairnesshigh-level Petri netsLTLmodel checking

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

• Applications and Theory of Petri Nets 2004
• Fairness modulo theory: a new approach to LTL software model checking
• A taxonomy of fairness and temporal logic problems for Petri nets
• scientific article; zbMATH DE number 4070338
• scientific article; zbMATH DE number 4096790
• Model checking LTLR formulas under localized fairness
• A CTL* Model Checker for Petri Nets
• scientific article; zbMATH DE number 408787

Cited in

(3)

• scientific article; zbMATH DE number 1515289 (Why is no real title available?)
• Model checking LTL using constraint programming
• Mathematical programming approach to the Petri nets reachability problem

Describes a project that uses

Uses Software

• SPIN
• LoLA
• CESAR

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