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.
-
Notifications
You must be signed in to change notification settings - Fork 1
ArpithaMalavalli/FormalVerification_Project
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Methods of formal verification of statechart models including Model checking and abstraction
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published