InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg
Number of Authors: 1
1993 (Swedish)Report (Refereed)
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
verification, specification, graphical user interface
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21447OAI: oai:DiVA.org:ri-21447DiVA: diva2:1041483
The report describing the implementation is in Swedish, but appendixes concerning use and configuration are in English.2016-10-312016-10-31