PVSio-web 2.2

What's new in this release:

• Added new demo: Medrad Stellant CT Injection System (www.pvsioweb.org/demos/stellantV2)
• Added new demo: Pillbox device prototype (http://www.pvsioweb.org/demos/pillbox/)
• Added new prototype: Niki T34 syringe driver
• Added new widget: Syringe, featuring: moving plunger, fittings (needle, spiral infusion set, vial), two size (20mL, 200mL)
• Added proof strategies for Emucharts verification templates
• Improved Emucharts Editor user interface

PVSio-web 2.1.1

What's new in this release:

• New feature: PVS verification templates for Emucharts
• New feature: UPPAAL file importer for Emucharts
• Re-styling of various aspects of the PVSio-web user interface
• Fix for various minor bugs

PVSio-web 2.1

This new release of PVSio-web provides an improved prototyping user interface and initial support for verification of usability properties in PVS:

• Added new tool: Storyboard editor/simulator
• Added new widgets: Touchscreen elements
• Added new example project: Flight Control Unit
• Improved Prototype Builder (live widgets preview, direct support for different types of buttons, displays, LEDs)
• Refactored widgets library

PVSio-web 2.0.2

v2.0.2

pvsio-web v2.0.2