Parallel Model-Checking

• Authors: BRIM Luboš
• Year of publication: 2004
• Type: Article in Periodical
• Magazine / Source: ERCIM News
• MU Faculty or unit: Faculty of Informatics
• web: http://www.ercim.org/publication/Ercim_News/enw58
• Field: Informatics
• Keywords: Model Checking
• Description: 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