Explore projects

Translate CTL / LTL / CTL* query syntax from MCC to LTSmin. Optionally, fuzz CTL queries to create CTL* ones.

Bibtex parser for Python 3

A Python3 library capable of automatically generating comparative scatter plots using data collected from GreatSPN test runs.

Orpheus Adapter Builder

These are the source files of the Orpheus Adapter Builder for Jason.

Logo

Descrizione

Italiano: Orfeo circondato dagli animali. Mosaico pavimentale romano, da Palermo. Museo archeologico regionale di Palermo. English: Orpheus surrounded by animals. Ancient Roman floor mosaic, from Palermo, now in the Museo archeologico regionale di Palermo. Picture by Giovanni Dall'Orto.

Data 28 settembre 2006 Fonte Opera propria Autore Foto di Giovanni Dall'Orto

https://commons.wikimedia.org/wiki/File:Orfeo_Orpheus_(Apolo_y_Cal%C3%ADope).jpg?uselang=it