• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

Parallel and Distributed Methods in Verification

Further information
Citation:	ČERNÁ, Ivana - HAVERKORT, Boudewijn. Parallel and Distributed Methods in Verification. Journal of logic and computation, Oxford, Oxford University Press, Great Britain. ISSN 0955-792X, 2011, vol. 2011, no. 21, pp. 1-3.
Original language:	English
Field:	Informatika
Type:	Article in Periodical
Keywords:	parallel and distributed computations; formal verification

The paper introduces the PDMC workhshop series and the key ideas behind the parallelization and distribution of formal verification algorithms. Further, it introduces the selection of papers from the workshop series published in the issue.