[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Co-Verification

To: <vitaly@verisity.com>
Subject: Co-Verification
From: <pitchumani.guru@wipro.com>
Date: Fri, 4 Jun 2004 16:13:05 +0530
Cc: <1647-fitf@ieee1647.org>
Sender: owner-1647-l@verificationvault.com
Thread-index: AcRKIM7pFVL8i72QSfWsGEgAenu4Vw==
Thread-topic: Co-Verification

Hi,

Is there something that the language need to support for Co-Verification? I had this query since there are OS sockets that are involved.

Rgds

pitchu

Prev by Date: Minutes of the Meeting - 31 May 2004
Next by Date: Reminder for Telecon on 15 Jun 9AM PST
Previous by thread: Minutes of the Meeting - 31 May 2004
Next by thread: Reminder for Telecon on 15 Jun 9AM PST
Index(es):
- Date
- Thread