Publication details
Distributed Analysis of Large Systems
| Basic information | |
|---|---|
| Original title: | Distributed Analysis of Large Systems |
| Authors: | Jiří Barnat, Luboš Brim, Ivana Černá |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří  - BRIM, Luboš - ČERNÁ, Ivana. Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam : CWI Amsterdam, 2005. pp. 31-35. 2005, Amsterdam. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | distributed LTL model checking |
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:
- Verification of infinite-state systems
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
