An Introduction to the Tool Ticc

Authors Axel Legay, Luca de Alfaro, Marco Faella



PDF
Thumbnail PDF

File

OASIcs.TrustworthySW.2006.766.pdf
  • Filesize: 364 kB
  • 32 pages

Document Identifiers

Author Details

Axel Legay
Luca de Alfaro
Marco Faella

Cite AsGet BibTex

Axel Legay, Luca de Alfaro, and Marco Faella. An Introduction to the Tool Ticc. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/OASIcs.TrustworthySW.2006.766

Abstract

This paper is a tutorial introduction to the sociable interface model of [12] and its underlying tool \textsc{Tcc}. The paper starts with a survey of the theory of interfaces and then introduces the sociable interface model that is a game-based model with rich communication primitives to facilitate the modeling of software and distributed systems. The model and its main features are then intensivelly discussed and illustrated using the tool \textsc{Tcc}.
Keywords
  • Open system
  • game
  • interface automata

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail