Web | Code

https://github.com/Whiley/WhileyCompiler
Whiley employs state-of-the-art techniques for ensuring your software is correct. You can specify functions using preconditions and postconditions, and then statically verify your implementation meets its specification.


Tags: language  

Last modified 24 May 2024