On this page you will find a list of the software that I have developed or
participated in developing.
- BLACK: a tool for
testing the satisfiability of LTL formulas based on symbolic bounded
- Pastello: a tool
for the pastification (i.e. the transformation into pure past) of
- Acidify: an
implementation of a behaviour for distributed transactions in Erlang over
- TRICker: a tool for checking
integration errors in timing requirements.
a reactive synthesis tool for the Extended Bounded Response fragment of
Linear Temporal Logic.
a realizability checker for the GR-EBR temporal logic.