efsm-sal - First official release

This is the first official release of the EFSM SAL toolkit and is the version referenced in our paper entitled "An Automated Framework for Verifying or Refuting Trace Properties of Extended Finite State Machines".

- Java
Published by jmafoster1 over 4 years ago