Calife: A Generic Graphical User Interface for Automata Tools | Zendy

Bertrand Tavernier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Calife: A Generic Graphical User Interface for Automata Tools

Author(s) -

Bertrand Tavernier

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.06.004

Subject(s) - computer science , automaton , interface (matter) , programming language , graphical user interface , theoretical computer science , model checking , operating system , bubble , maximum bubble pressure method

In this paper, we present a platform that can be used to interface tools working on automata. The Calife platform works on several automata models (transition systems, timed automata, counter automata,...) and allows to define new models and interface new tools. Several tools are currently interfaced with the platform (Uppaal, Hytech, Kronos, CMC, Coq,...) and a unique timed-automata system modelled under the Calife System Editor can be exported to all these tools

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research