Integrating User Design and Formal Models within PVSio-Web

Nathaniel Watson, Steve Reeves, Paolo Masci

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 logic…