scientific article; zbMATH DE number 1798187

MaRDI QIDQ4553260zbMATH OpenFDO

Authors Orna Grumberg, Tamir Heyman, Assaf Schuster

Publication date 4 November 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed symbolic model checking for -calculus
• scientific article; zbMATH DE number 2188504
• \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus
• Distributed symbolic bounded property checking
• scientific article; zbMATH DE number 1705169

Cited in

(9)

• Dealing with practical limitations of distributed timed model checking for timed automata
• CTL model checking on a shared-memory architecture
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
• \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus
• Distributed symbolic bounded property checking
• Permissive strategies: from parity games to safety games
• scientific article; zbMATH DE number 2188504 (Why is no real title available?)
• Symbolic model checking for TLA+ made faster
• Distributed symbolic model checking for -calculus

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