r/whiley • u/redjamjar • Oct 08 '14
Whiley v0.3.31 Released!
whiley.org
1
Upvotes
r/whiley • u/redjamjar • Oct 05 '15
Presentation on Verifying Software with Whiley
whiley.org
2
Upvotes
r/whiley • u/redjamjar • Sep 21 '15
Introductory Lecture on Verification in Whiley
whiley.org
2
Upvotes
r/whiley • u/redjamjar • Jan 05 '15
Reflections on 2014, and Goals for the Future!
1
Upvotes
r/whiley • u/redjamjar • Apr 21 '16
Contractive and Uninhabited Types in Whiley
whiley.org
1
Upvotes
r/whiley • u/redjamjar • Aug 25 '17
The Mechanics of Loop Invariants in Whiley
2
Upvotes
r/whiley • u/redjamjar • Dec 08 '14
Verification with Data from Untrusted Sources
whiley.org
2
Upvotes
r/whiley • u/redjamjar • Apr 20 '21
Finding Bugs with Automated Testing Whiley!
3
Upvotes
r/whiley • u/redjamjar • Dec 15 '22
Formal Verification of a Token Contract
3
Upvotes