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

Re: Race condition...

To: "Marc L. Smith" <mlsmith@xxxxxxxxxxxxx>
Subject: Re: Race condition...
From: Bob Gustafson <bobgus@xxxxxxx>
Date: Mon, 15 Mar 2010 08:09:26 -0500
Cc: occam-com@xxxxxxxxxx, java-threads@xxxxxxxxxx
Delivery-date: Mon, 15 Mar 2010 13:38:28 +0000
Envelope-to: ats@xxxxxxxxxxxxxxxx
In-reply-to: <464b8e0e1003150552m54daabceh8e6c1154bc02944f@xxxxxxxxxxxxxx>
List-help: <mailto:sympa@kent.ac.uk?subject=help>
List-id: <occam-com.kent.ac.uk>
List-owner: <mailto:occam-com-request@kent.ac.uk>
List-post: <mailto:occam-com@kent.ac.uk>
List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20occam-com>
List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20occam-com>
References: <464b8e0e1003150552m54daabceh8e6c1154bc02944f@xxxxxxxxxxxxxx>
Sender: Mailing_List_Robot <sympa@xxxxxxxxxx>

Just needs a dose of Formal Methods..

and/or Model Checking..

More at http://en.wikipedia.org/wiki/Formal_methods

Bob G

On Mon, 2010-03-15 at 08:52 -0400, Marc L. Smith wrote:
> ...of one kind--or another!    ;-)
> 
> Prius Incident Stumps Investigators
> By REUTERS
> Published: March 15, 2010
> http://www.nytimes.com/reuters/2010/03/15/business/business-us-toyota-prius-investigation.html?_r=1&hp
> 
> 
> 
> 
> 
>

Follow-Ups:
- Re: Race condition...
  - From: Larry Dickson

References:
- Race condition...
  - From: Marc L. Smith

Prev by Date: Race condition...
Next by Date: Re: Race condition...
Previous by thread: Race condition...
Next by thread: Re: Race condition...
Index(es):
- Date
- Thread