Distributed Analysis of Large Systems
| Authors | |
|---|---|
| Year of publication | 2005 |
| Type | Article in Proceedings |
| Conference | Formal Methods for Components and Objects |
| MU Faculty or unit | |
| 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: |