Book chapter 224 views 7 downloads
Developing GUI Applications in a Verified Setting / Anton, Setzer
Dependable Software Engineering. Theories, Tools, and Applications, Volume: 10998, Pages: 89 - 107
Swansea University Author: Anton, Setzer
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