From: cattel@ltidec1.epfl.ch (Thierry Cattel)
Subject: Modelling of Ada prgms
Date: 29 Nov 1994 10:50:03 GMT
Date: 1994-11-29T10:50:03+00:00 [thread overview]
Message-ID: <3bf10r$9n7@disunms.epfl.ch> (raw)
Hello,
I am modelling ada-like programs, in order to submit
them to verification (off-the-fly reachability analysis,
model-checking).
Are you aware of any attempt in that domain ?
with CSP, Promela/SPIN for example ?
The point is modelling guarded RDV.
Thanks in adv.
--
Thierry Cattel
Computer Networking Laboratory - Laboratoire de Teleinformatique (LTI)
Swiss Federal Institute of Technology (EPFL)
Address: EPFL-DI-LTI, CH-1015 Lausanne, Switzerland
E-mail: cattel@di.epfl.ch
Phone: +41(21) 693 67 76 (Central European Time)
Fax: +41(21) 693 66 00
next reply other threads:[~1994-11-29 10:50 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1994-11-29 10:50 Thierry Cattel [this message]
1994-12-02 18:48 ` Modelling of Ada prgms Woody McLendon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox