Integrating User Design and Formal Models within PVSio-Web

11/27/2018
by   Nathaniel Watson, et al.
0

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.

READ FULL TEXT
research
09/02/2019

Proceedings Third Symposium on Working Formal Methods

This volume contains the proceedings of FROM 2019: the Third Symposium o...
research
12/23/2019

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Development processes in various engineering disciplines are incorporati...
research
09/19/2022

Proceedings of the Sixth Working Formal Methods Symposium

It is our pleasure to present the papers of the sixth Working Formal Met...
research
12/31/2020

Verifying a Cruise Control System using Simulink and SpaceEx

This article aims to provide a simple step-by-step guide highlighting th...
research
01/27/2021

Systematic Evaluation and Usability Analysis of Formal Tools for System Design

Formal methods and supporting tools have a long record of successes in t...
research
08/22/2019

Interactive Duplicate Search in Software Documentation

Various software features such as classes, methods, requirements, and te...
research
05/27/2021

Interacto: A Modern User Interaction Processing Model

Since most software systems provide their users with interactive feature...

Please sign up or login with your details

Forgot password? Click here to reset