Change search
ReferencesLink to record
Permanent link

Direct link
InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg
Number of Authors: 1
1993 (Swedish)Report (Refereed)
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.
SICS Technical Report, ISSN 1100-3154 ; T93:03
Keyword [en]
verification, specification, graphical user interface
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-21447OAI: diva2:1041483
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

Open Access in DiVA

fulltext(4081 kB)5 downloads
File information
File name FULLTEXT01.pdfFile size 4081 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 5 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 4 hits
ReferencesLink to record
Permanent link

Direct link