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.