research
∙
12/23/2019
An Integrated Development Environment for the Prototype Verification System
The steep learning curve of formal technologies is a well-known barrier ...
share
research
∙
11/27/2018
Integrating User Design and Formal Models within PVSio-Web
Creating formal models of interactive systems has wide reaching benefits...
research
∙
11/22/2018
