Skip to content
/ SMVmaker Public

Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.

1 star 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

Elblot/SMVmaker

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
SMVmaker
SMVmaker
 
 
README.md
README.md
 
 

Repository files navigation

SMVmaker

Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.

##TODO

  • automation for incomplete list, not only "authenticated".

  • improve the description of scenario of absence of a key words.

  • parsing of the result from NuSMV and interpret them ?

  • empty model when no loop

About

Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.

Resources

Readme
Activity

Stars

1 star

Watchers

2 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages