Integrating Automated Verification into Interactive Systems Development
José Creissac Campos · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 1998
Our field of research is the application of automated reasoning techniques during interactor based interactive systems development. The aim being to ensure that the developed systems embody appropriate properties and principles. In this report we identify some of the pitfalls of current approaches and propose a new way to integrate verification into interactive systems development.