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

  • Synchroteam: a tool for the composition of Team Automata

  • Nanocomp: a visual and interactive simulator of molecule cascades


Back to GAVINA group