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