• 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

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Further information
Citation:	BRIM, Luboš - BARNAT, Jiří. Platform Dependent Verification: On Engineering Verification Tools for 21st Century. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 1-12. PDMC 2011, Invited talk.
Original language:	English
Field:	Informatika
WWW:	EPTCS
Type:	Article in Periodical
Keywords:	Model checking; hardware platforms; parallelism

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Related projects:

• Highly Parallel and Distributed Computing Systems
• Software Components in Embedded Systems: Development and Verification