• 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

CoIn Tool Set

Further information
Citation:	BENEŠ, Nikola - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - KŘIVÁNEK, Milan. CoIn Tool Set. 2009.
Original language:	English
Field:	Informatika
WWW:	http://anna.fi.muni.cz/coin/tool
Type:	Software
Keywords:	formal verification; model checking; component-interaction automata; state/event LTL

The purpose of the CoIn Tool Set is to assist developers along the modelling and verification process using component-interaction (CI) automata. The Tool Set currently consists of two parts: a graphical modelling tool, which enables the developer to create CI automata models visually using a GUI, and a verification environment for formal verification of created models with the model-checking technique. The properties to be checked are specified using temporal logic, namely a variant of State/Event LTL.

Related projects:

• Realistic application of formal methods in component systems
• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems