Including nProver to the RESOLVE Compiler

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

24 stars 16 forks source link

Including nProver to the RESOLVE Compiler #379

Closed nmsafiri closed 2 years ago

nmsafiri commented 2 years ago

An update to the RESOLVE compiler to include the new nProver with the registry