https://github.com/hriener/parsyn-cegis

SMT-Based CPS Parameter Synthesis and Repair
https://github.com/hriener/parsyn-cegis

cyber-physical-systems formal-methods formal-verification synthesis

Last synced: 14 days ago
JSON representation

SMT-Based CPS Parameter Synthesis and Repair

• Host: GitHub
• URL: https://github.com/hriener/parsyn-cegis
• Owner: hriener
• License: gpl-3.0
• Created: 2016-02-15T15:43:53.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2018-01-30T04:57:02.000Z (almost 7 years ago)
• Last Synced: 2024-10-23T02:32:11.391Z (2 months ago)
• Topics: cyber-physical-systems, formal-methods, formal-verification, synthesis
• Language: Python
• Size: 7.53 MB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project