Communication Dans Un Congrès Année : 2024

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures

Résumé

We present a new tool called Cyclone that can be used for verifying and testing graph-based models. Different from other verification tools, Cyclone provides users with a unique way of building models and specifying their properties, by explicitly constructing and reasoning about graphs. As graphs can naturally capture both static and dynamic behaviours of a system, this allows users to represent many challenging problems. In this tool paper, we describe Cyclone’s basic features through different examples. Our preliminary evaluation results show that Cyclone has a promising potential in handling verification tasks from various domains and good usability for those who are not familiar with using verification tools.

Fichier non déposé

Dates et versions

hal-04804849 , version 1 (26-11-2024)

Identifiants

Citer

Hao Wu, Thomas Flinkow, Dominique Méry. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures. Tests and Proofs - 18th International Conference, {TAP} 2024, Marieke Huisman; Falk Howar, Sep 2024, MILAN, Italy. pp.107-124, ⟨10.1007/978-3-031-72044-4_6⟩. ⟨hal-04804849⟩
434 Consultations
0 Téléchargements

Altmetric

Partager

  • More