UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
Open Access
- 19 April 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 128 (3), 91-105
- https://doi.org/10.1016/j.entcs.2004.10.021
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Parallel Model Checking for the Alternation Free μ-CalculusLecture Notes in Computer Science, 2001
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Termination detection for diffusing computationsInformation Processing Letters, 1980