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-14136OAI: oai:DiVA.org:ri-14136DiVA: diva2:1035420
The report describing the implementation is in Swedish, but appendixes concerning use and configuration are in English.2016-10-132016-10-13