Master 2014 2015
Stages de la spécialité SAR
Development of an IPython interface, and a couple of web interfaces for the Spot library


Site :Development of an IPython interface, and a couple of web interfaces for the Spot library
Lieu :Laboratoire de Recherche & Développement de l'EPITA (LRDE) 14-16, rue Voltaire 94276 Le Kremlin-Bicêtre CEDEX France
Encadrant : Alexandre Duret-Lutz
Dates :01/03/2015 au 31/08/2015
Rémunération :1000 Euros brut/mois
Mots-clés : Master SAR, autre qu’ATIAM

Description

The Spot library (http://spot.lip6.fr/), written in C++, offers several algorithms and data structures to build model checkers. It contains many algorithms for handling linear-time temporal logic (LTL) formulas, or for different variants of Büchi automata. Spot also distributes several command-line tools, built on top of the library. Finally, Spot includes some Python bindings, as well as a web interface (http://spot.lip6.fr/ltl2tgba.html) for easy access to one of the features of the library. This internship targets students who :
- have some experience in Python programming and Unix development (experience with git would be a welcome bonus)
- have some notions of C++ and web development The goal of the internship is to improve the last two points (Python bindings and web interface) : we would like to access all features of Spot from Python (and in particular from IPython), and on top of this Python interface, we would like more on-line services that people can use without having to install Spot.