References of applications

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Oded Maler Wed, 30 Sep 1992 17:23

#286

Author: 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
===============================================================

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads