aasthac67/Software_Verification
The projects uses Software Requirements specified in the form of state diagrams to automatically verify the correctness of a software.
Python
Stargazers
No one’s star this repository yet.
The projects uses Software Requirements specified in the form of state diagrams to automatically verify the correctness of a software.
Python
No one’s star this repository yet.