scientific article; zbMATH DE number 1538043

MaRDI QIDQ4518898zbMATH OpenFDO

Authors Jean-Pierre Krimm, Laurent Mounier

Publication date 20 May 2001

zbMATH Keywords

formal verificationtransition system

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

• Partial-Order Reduction
• scientific article; zbMATH DE number 177239
• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
• scientific article; zbMATH DE number 177514
• scientific article; zbMATH DE number 1507206

Cited in

(2)

• Deciding probabilistic automata weak bisimulation: theory and practice
• FM 2005: Formal Methods

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