Subject: Re: Temporal e
From: Matthew Morley (matthew@verisity.com)
Date: Wed Jul 11 2001 - 11:26:41 PDT
it is exactly the language whose syntax and semantics are described in
detail in the documents we submitted to OVI over 18 months ago.
vardi> Matthew, I am afraid that at this point, and having received
vardi> the omega-semantics document only yesterday, I am not sure
vardi> what exactly is the "Temoral e" language that Verisity is
vardi> proposing to Accelera.
--
This archive was generated by hypermail 2b28 : Wed Jul 11 2001 - 11:28:40 PDT