InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg 1993 (Swedish)Report (Other academic)

Abstract [sv]

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.

Place, publisher, year, edition, pages

Swedish Institute of Computer Science , 1993, 1.

Series

SICS Technical Report, ISSN 1100-3154 ; T93:03

Keywords [en]

verification, specification, graphical user interface

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:ri:diva-21447OAI: oai:DiVA.org:ri-21447DiVA, id: diva2:1041483

Note

The report describing the implementation is in Swedish, but appendixes concerning use and configuration are in English.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2025-09-23Bibliographically approved

Open Access in DiVA

By organisation

SICS

On the subject

Computer and Information Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 91 downloadsTotal: 74 hits