https://github.com/shaunazzopardi/clarva

Residual analysis for properties as symbolic automata
https://github.com/shaunazzopardi/clarva

Last synced: 7 days ago
JSON representation

Residual analysis for properties as symbolic automata

• Host: GitHub
• URL: https://github.com/shaunazzopardi/clarva
• Owner: shaunazzopardi
• Created: 2017-07-21T10:16:06.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-12-17T09:51:24.000Z (almost 5 years ago)
• Last Synced: 2023-03-10T09:42:27.686Z (over 1 year ago)
• Language: Java
• Size: 84.2 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 2

Awesome Lists containing this project