• 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

On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties

Basic information
Original title:	On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Authors:	Jiří Barnat, Luboš Brim, Petr Ročkai

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr. On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2012, vol. 2011, no. 0.
WWW:	http://dx.doi.org/10.1016/j.scico.2011.03.001
Type:	Article in Periodical

Related projects:

• Techniques for automatic verification and validation of software nad hardware systems
• Realistic application of formal methods in component systems
• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems
• Automated formal verification using modern hardware
• Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity