Book chapter
An Introduction to Software Verification with Whiley
Engineering Trustworthy Software Systems, pp.1-37
School on Engineering Trustworthy Software Systems (SETSS), 4th (Chongqing, China, 07-Apr-2018–12-Apr-2018)
Lecture Notes in Computer Science (LNCS), 11430, Springer International Publishing
2019
Abstract
This tutorial introduces the basic ideas of software specification and verification, which are important techniques for assuring the quality of software and eliminating common kinds of errors such as buffer overflow. The tutorial takes a practical hands-on approach using the Whiley language and its verifying compiler. This verifying compiler uses an automated proof engine to try to prove that the code will execute without errors and will satisfy its specifications. Each section of the tutorial includes exercises that can be checked using the online Whiley Labs website.
Details
- Title
- An Introduction to Software Verification with Whiley
- Authors
- David J Pearce (Author) - Victoria University of Wellington, New ZealandMark Utting (Author) - University of the Sunshine Coast - School of BusinessLindsay Groves (Author) - Victoria University of Wellington, New Zealand
- Contributors
- Jonathan P Bowen (Editor)Zhiming Liu (Editor)Zili Zhang (Editor)
- Publication details
- Engineering Trustworthy Software Systems, pp.1-37
- Conference details
- School on Engineering Trustworthy Software Systems (SETSS), 4th (Chongqing, China, 07-Apr-2018–12-Apr-2018)
- Series
- Lecture Notes in Computer Science (LNCS); 11430
- Publisher
- Springer International Publishing
- Date published
- 2019
- DOI
- 10.1007/978-3-030-17601-3_1
- ISBN
- 9783030176013
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99450615802621
- Output Type
- Book chapter
Metrics
1 File views/ downloads
291 Record Views