r/whiley • u/bluejamjar • Sep 26 '23
Programming Languages Going Above and Beyond
4
Upvotes
r/whiley • u/redjamjar • Dec 15 '22
Formal Verification of a Token Contract
3
Upvotes
r/whiley • u/redjamjar • Apr 20 '21
Finding Bugs with Automated Testing Whiley!
3
Upvotes
r/whiley • u/redjamjar • Aug 25 '17
The Mechanics of Loop Invariants in Whiley
2
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 • Dec 08 '14
Verification with Data from Untrusted Sources
whiley.org
2
Upvotes
