https://github.com/lambdacasserole/capriccio

A toolkit for the creation of correct-by-construction arithmetic languages.
https://github.com/lambdacasserole/capriccio

education formal-methods formal-verification hoare-logic interpreter transpiler verification

Last synced: 12 days ago
JSON representation

A toolkit for the creation of correct-by-construction arithmetic languages.

• Host: GitHub
• URL: https://github.com/lambdacasserole/capriccio
• Owner: lambdacasserole
• License: mit
• Created: 2019-11-22T20:54:06.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-25T19:01:10.000Z (almost 5 years ago)
• Last Synced: 2024-10-10T22:14:56.672Z (about 1 month ago)
• Topics: education, formal-methods, formal-verification, hoare-logic, interpreter, transpiler, verification
• Language: Java
• Homepage:
• Size: 33.2 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project