Loading...

VDMPad: VisualExpressions

95 views

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Nov 15, 2014

VDMPad displays VDM values in a visual way with "Visual Expression" option turned on.

Hovering a mouse cursor over a visual expression or its subexpression prints its textual form.
You can also drag a visual (sub)expression into a text area so that you can modify the spec or easily write an expression to evaluate.

You can try VDMPad free at http://vdmpad.csce.kyushu-u.ac.jp .

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...