Publication details
Parallel Model
-Checking
| Basic information | |
|---|---|
| Original title: | Parallel Model-Checking |
| Author: | Luboš Brim |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš. Parallel Model-Checking. ERCIM News, ERCIM EEIG. ISSN 0926-4981, 2004, vol. 58, no. June, pp. 35-36. |
| Original language: | Czech |
| Field: | Informatika |
| WWW: |  http://www.ercim.org/publication/Ercim_News/enw58 |
| Type: | Article in Periodical |
| Keywords: | Model Checking |
A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
Related projects:
- Automated Verification of Parallel and Distributed Systems
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
