SLE 2013 tool/demo paper:
Whiley: A Platform for Research in Software Verification

David J. Pearce, Lindsay Groves

DOI: 10.1007/978-3-319-02654-1_13
T5D: Formal Methods
- The paper introduces a language/platform explicitly designed to support program verification and elimination of runtime errors (formal methods focus).
T1A: Design
- Whiley is a purpose-built programming language whose design is shaped by verification goals and specification support.
T1B: Static Semantics
- Verification-oriented languages typically rely on rich static semantics (e.g., checked properties, contracts, or type-like reasoning) to enable automated checking.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.