scientific article

zbMath1270.68381MaRDI QIDQ2842859

Luboš Brim, Karen Yorav, Jitka Crhová

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105807583

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

CTL model checking on a shared-memory architecture ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• An automata-theoretic approach to branching-time model checking
• Parallelizing the \(\text{Mur}\varphi\) verifier
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: