Work

An Introduction to the Tool Ticc

Year: 2006

Type: article

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}.

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/oasics.trustworthysw.2006.766

Authors: Legay, Axel, de Alfaro, Luca, Faella, Marco

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Interreg

Awards: CAREER: Structured Design of Embedded Software, Geometric Flows and Analysis on Metric Spaces, Interfaces and Model Checking for Software

OpenAlex ID: W1540902497