UV Manual: The Tcl/Tk Interface

Warning

The UV system is implemented based on the Tcl/Tk tool command language and X Windows toolkit by providing access to the UV system operations through a set of Tcl/Tk commands added to the standard window shell.

The entire functionality of the UV system is available via these added commands, in particular the standard graphical user interface is implemented as a set of Tcl/Tk scripts. Here is a complete list of all the Tcl/Tk commands specific to the UV system:

uv_check

invoke model checker

uv_expr

access information about expressions

uv_info

access information about system

uv_init

initialize the UV package

uv_option

set and display system options and parameters

uv_parse

parse a string of the UV language and add the defined entities to the UV workspace

uv_prog

access information about programs

uv_prop

access information about properties

uv_si

compute strongest invariants