SODA

InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg

Palmersjö, Roger (1993) InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg. [SICS Report]

[img]Postscript
138Kb
[img]
Preview
PDF
4080Kb

Abstract

A prototype uniform graphical interface to verification tools is presented. Tools and data objects are displayed as icons in a working area. Tools can be connected with pipes to provide automatic data flow. The implementation runs in Unix and X-windows.

Item Type:SICS Report
Additional Information:The report describing the implementation is in Swedish, but appendixes concerning use and configuration are in English.
Uncontrolled Keywords:verification, specification, graphical user interface
ID Code:2220
Deposited By:Vicki Carleson
Deposited On:06 May 2009
Last Modified:18 Nov 2009 16:01

Repository Staff Only: item control page