Software
These are tools developed by the group that are available
for public use:
-
Petrify: synthesis of
Petri nets and asynchronous controllers.
-
Versify and
Testify: verification and testing of speed-independent circuits.
-
BREL: Boolean relation solver (contact
David Bañeres).
Synchroteam: a tool for the composition of Team Automata
Nanocomp: a visual and interactive simulator of molecule cascades
Back to GAVINA group |