A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Mixed formal specifications with PVS
2002
Proceedings 16th International Parallel and Distributed Processing Symposium
Formal specification of mixed systems is one of the main issues in software engineering. However several difficulties remain. Amongst them is the ability to produce a coherent mixed specification and to provide tools for verifying it. The Graphic Abstract data Type (GAT) approach is proposed to cope with this issue. GAT is a mixed formalism based on Symbolic Transition Systems (STSs) and algebraic specifications of partial abstract data types. This paper presents how to translate a GAT into
doi:10.1109/ipdps.2002.1016615
dblp:conf/ipps/AllemandR02
fatcat:hrq4nsai55cgdfb7k6rljziizq