Methods of formal verification of statechart models including Model checking and abstraction.\
A Research Project carried under for the course- PROGRAMMING LANGUAGES.\
Review of many recent papers in the field added to the report.
ArpithaMalavalli/FormalVerification_Project
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|