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
satisfiability checking.
- Pastello: a tool
for the pastification (i.e. the transformation into pure past) of
LTL[X,F] formulas.
- Acidify: an
implementation of a behaviour for distributed transactions in Erlang over
distributed storage.
- TRICker: a tool for checking
integration errors in timing requirements.
- ebr-ltl-synth:
a reactive synthesis tool for the Extended Bounded Response fragment of
Linear Temporal Logic.
- GRACE:
a realizability checker for the GR-EBR temporal logic.