Conference Paper/Proceeding/Abstract 574 views 49 downloads
Developing GUI Applications in a Verified Setting
Dependable Software Engineering. Theories, Tools, and Applications, Volume: 10998, Pages: 89 - 107
Swansea University Author: Anton Setzer
PDF | Accepted ManuscriptDownload (484.3KB)
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|
Springer International Publishing
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
Faculty of Science and Engineering