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.
- 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.