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