• 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

DiVinE 2.4

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr. DiVinE 2.4. 2010.
Original language:	Czech
Field:	Informatika
WWW:	http://anna.fi.muni.cz/AS/divine-2.4.tar.gz
Type:	Software
Keywords:	distributed-memory computing; LTL model checking; Partial Order Reduction; On-The-Fly verification

Nástroj pro relalizaci verifikace metodou ověřování modelu pro formule LTL (LTL Model Checking) v prostředí s distribuovanou pamětí s podporou redukce velikosti stavového prostoru metodou částečného uspořádání a s podporou ranné detekce chybného běhu. Nástroj je významným rozšířením předchozí verze verifikačního nástroje DiVinE 2.0.

Tool for LTL model checking in distributed memory environment. Tool supports Partial Order Reduction and on-the-fly verification. Tool significantly extends its previous version DiVinE 2.0.

Related projects:

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems
• Automated formal verification using modern hardware