/Software_Verification

The projects uses Software Requirements specified in the form of state diagrams to automatically verify the correctness of a software.

Primary LanguagePython

Stargazers

No one’s star this repository yet.