Introductory paper: Parallel and Distributed Model Checking

• Authors: BRIM Luboš; GRUMBERG Orna
• Year of publication: 2005
• Type: Article in Periodical
• Magazine / Source: International Journal on Software Tools for Technology Transfer (STTT)
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics
• Keywords: model-checking
• Description: This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented.

Related projects

• Automated Verification of Parallel and Distributed Systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems