GitHub repository: Elblot/SMVmaker
Primary language: Java
Created: 2019-11-29T16:17:08Z
Description: Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.