FunSpec

⚠️ This project was developed from 2010 to 2016 and is no longer maintained ⚠️

Functional specification assertion language for static program verification.

License

This project is released under the MIT License.