Fredrik Holmen, Martin Leucker, Marcus Lindström  Home/Search
Context
Related
| www4.in.tum.de/~leucker/...pdmc04.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/~leucker/Pub...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present UppDMC, a distributed model-checking tool. It is tailored for checking finite-state systems and -calculus specifications with at most one alternation of minimal and maximal fixed-point operators. This fragment is also known as L . Recently, e#cient game-based algorithms for this logic have been outlined. (Update)
Similar documents (at the sentence level):
6.3%: Local Parallel Model Checking for the Alternation-Free.. - Bollig, Leucker, Weber (2002) (Correct)
Active bibliography (related documents): More All
0.8: Parallel Model Checking for LTL, CTL*, and L ²μ - Leucker, Somla, Weber (2003) (Correct)
0.8: Parallel Model Checking for LTL, CTL*, and L²μ - Leucker, Somla, Weber (Correct)
0.1: A Game-Based Framework for CTL Counterexamples and.. - Shoham (Correct)
Similar documents based on text:
4.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ holmen-uppdmc,
author = "Fredrik Holmen and Martin Leucker and Marcus Lindström",
title = "UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus",
url = "citeseer.ist.psu.edu/holmen04uppdmc.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
206 Results on the propositional mu-calculus (context) - Kozen - 1983
33 Document for a Standard Message-Passing Interface - Forum - 1993
21 On model-checking for fragments of mu-calculus (context) - Emerson, Jutla et al. - 1993
17 Distributed LTL modelchecking based on negative cycle detect.. - Brim, Cerna et al. - 2001
13 Property driven distribution of nested DFS - Barnat, Brim et al. - 2002
13 Local parallel model checking for the alternation free --cal.. - Bollig, Leucker et al.
13 Local parallel model checking for the alternation-free mu-ca.. - Bollig, Leucker et al. - 2002
10 Theoretical Computer Science (context) - Dam, ECTL et al. - 1994
9 Termination detection for di#using computations (context) - Dijkstra, Scholten - 1980
4 Distributed symbolic model checking for -calculus - Grumberg, Heyman et al. - 2001
Documents on the same site (http://www4.in.tum.de/~leucker/Publications/all.html): More
Truth/SLC - A Parallel Verification Platform for Concurrent.. - Leucker, Noll (2001) (Correct)
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC