Distributed Analysis of Large Systems

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš ČERNÁ Ivana

Year of publication 2005
Type Article in Proceedings
Conference Formal Methods for Components and Objects
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords distributed LTL model checking
Description Tutorial lecture giving an overview of explicit distributed algorithms for LTL model checking. The lecture reviews property driven distribution of state spaces, algorithms exploiting breadth firs search, set based algorithms based on the principle One way catch them young and its reverse, accepting predecessoros based approach, dependency structure based depth first search and reduction to the negative cycle problem.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.