Book Chapter 147 views
Developing GUI Applications in a Verified Setting / Stephan Adelsberger; Anton Setzer; Eric Walkingshaw
Dependable Software Engineering. Theories, Tools, and Applications, Volume: 10998, Pages: 89 - 107
Swansea University Author: Setzer, Anton
Proof under embargo until: 10th September 2019
Accepted Manuscript under embargo until: 26th August 2019
Although there have been major achievements in verified software, work on verifying graphical user interfaces (GUI) applications is underdeveloped relative to their ubiquity and societal importance.In this paper, we present a library for the development of verified, state-dependent GUI applications...
|Published in:||Dependable Software Engineering. Theories, Tools, and Applications|
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018
Check full text
No Tags, Be the first to tag this record!
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10998)
Agda; Interactive theorem proving; GUI verification
College of Science