https://github.com/marc7666/verification-of-programs-with-hoare-logic-and-symbolic-execution

We have to perform the verification of the partial correctness of two algorithms proposing the an invariant formula for both algorithms (both algorithms have while loops, that's the reason because we've to propose an invariant)
https://github.com/marc7666/verification-of-programs-with-hoare-logic-and-symbolic-execution

Last synced: about 8 hours ago
JSON representation

We have to perform the verification of the partial correctness of two algorithms proposing the an invariant formula for both algorithms (both algorithms have while loops, that's the reason because we've to propose an invariant)

• Host: GitHub
• URL: https://github.com/marc7666/verification-of-programs-with-hoare-logic-and-symbolic-execution
• Owner: marc7666
• Created: 2022-03-30T14:22:01.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-04-27T13:15:55.000Z (over 2 years ago)
• Last Synced: 2023-03-05T08:56:53.195Z (over 1 year ago)
• Homepage:
• Size: 2.06 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project