Introductory Lecture on Verification in Whiley

We’ve started using Whiley again in my second year course Formal Foundations of Programming. The aim of this course is to introduce students into a range of techniques related to software correctness. So far, we’ve looked at some static analysis and model checking tools.

Anyway, last week I gave an introductory lecture on writing . . . → Read More: Introductory Lecture on Verification in Whiley

Whiley v0.3.36 Released!

The next version of Whiley is upon us.  Whilst predictably late, this release packs quite a punch and contains a range of changes to the language syntax, and critical updates to the verifier.  Certainly, this version is capable of verifying more programs than any previous version.  The summary of changes includes:

Update list to . . . → Read More: Whiley v0.3.36 Released!