The following publications are possibly variants of this publication:
- Verifying Whiley Programs with BoogieDavid J. Pearce 0001, Mark Utting, Lindsay Groves. JAR, 66(4):747-803, 2022. [doi]
- Reflections on Verifying Software with WhileyDavid J. Pearce, Lindsay Groves. ftscs 2014: 142-159 [doi]
- The whiley rewrite language (WyRL)David J. Pearce. SLE 2015: 161-166 [doi]
- Array programming in WhileyDavid J. Pearce. PLDI 2017: 17-24 [doi]
- Bound Analysis for Whiley ProgramsMin-Hsien Weng, Mark Utting, Bernhard Pfahringer. ENTCS, 320:53-67, 2016. [doi]
- An Introduction to Software Verification with WhileyDavid J. Pearce, Mark Utting, Lindsay Groves. setss 2019: 1-37 [doi]
- Whiley: A Platform for Research in Software VerificationDavid J. Pearce, Lindsay Groves. SLE 2013: 238-248 [doi]