Integrating User Design and Formal Models within PVSio-Web

Nathaniel Watson
(Department of Computer Science, University of Waikato, Hamilton, New Zealand)
Steve Reeves
(Department of Computer Science, University of Waikato, Hamilton, New Zealand)
Paolo Masci
(High Assurance Software Laboratory (HASLab), INESC TEC and Universidade do Minho, Braga, Portugal)

Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications.

In Paolo Masci, Rosemary Monahan and Virgile Prevosto: Proceedings 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, England, 14 July 2018, Electronic Proceedings in Theoretical Computer Science 284, pp. 95–104.
Published: 27th November 2018.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: