References of applications

Article View: comp.specification

Article #286

Back to comp.specification Previous Next

#286

From: Oded Maler
Date: Wed, 30 Sep 1992 17:23

10 lines
764 bytes

I'm looking for recent references for *real* (well, as real
as possible) applications of formal verification methods  of 
reactive systems.

Thanks
-- 
===============================================================
Oded Maler, LGI-IMAG (Campus), B.P. 53x, 38041 Grenoble, France
Phone:  76635846  Fax: 76446675   e-mail: maler@vercors.imag.fr
===============================================================

Technical Details

Message-ID: <40853@imag.imag.fr>

Path: arc1-ca.pugleaf.net!sparky!uunet!kithrup!stanford.edu!agate!doc.ic.ac.uk!uknet!mcsun!corton!babbage!imag!pelvoux!maler

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!kithrup!stanford.edu!agate!doc.ic.ac.uk!uknet!mcsun!corton!babbage!imag!pelvoux!maler
From: maler@pelvoux.imag.fr (Oded Maler)
Newsgroups: comp.specification
Subject: References of applications
Message-ID: <40853@imag.imag.fr>
Date: 30 Sep 92 17:23:15 GMT
Sender: usenet@imag.fr
Lines: 10
Nntp-Posting-Host: pelvoux