-
XEVE: An Esterel Verification Environment (Version
v1_3), A. Bouali
This document is the user manual of Xeve graphical
interface for version v1_3 and is valid for the current
version. It is the INRIA technical report RT-214 (gziped
postscript, 23 pages).
-
Fc2tools for Esterel, internal notes
A Fc2tool
verification toolset for
Esterel primer (gziped
postscript, 7 pages).
-
Specification and Verification
of a Hardware Bus Arbiter, internal notes.
A harware bus arbiter taken from Mc. Millan's thesis is reproduced in
Esterel. The specification
document (postscript, 8 pages) shows how a causality error raised up
at the first attempt of specification and how it is solved. The second
document (postscript, 4 pages) is a verification session recalling the
causality analysis and showing how properties are checked with our
tools.
-
Verifying Synchronous Reactive Systems Programmed in
Esterel, A. Bouali, J.P. Marmorat, R. de Simone, H. Toma,
in Procedings of FTRTFT'96
Please contact us for requests on other documentation.