Added a paper on verification of medical CPSs
We have added a new article in the publications section regarding the use of the stable release of Ariadne for the verification of medical cyber-physical systems.
Added an article on model checking dynamical systems
We have added a new article from Pieter Collins in the publications section, discussing the origins of Ariadne and some of its design choices.
We added a tutorial page with detailed information on an example, followed by a guide to construct the corresponding model in Ariadne and to perform the most relevant analysis routines.
We added a Publications section in which the most recent articles on Ariadne and its usage are provided. For each paper we provide the pdf file and the bibliography entry.
About and Installation sections added
Ariadne website opens
We are happy to announce that the website for the Ariadne C++ library has opened. We will progressively add content to the site, with the objective of providing references, tutorials, API docs and selected publications.