Support Forums: Message List - NASA releases Java verification program as Opensource http://www.theserverside.com Most recent forum messages en Jive Forums Silver 5.5.30 (www.jivesoftware.com) Sun, 19 May 2013 02:53:18 -0400 No cut in pay necessary http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Wed, 04 May 2005 08:16:33 -0400 Wed, 04 May 2005 08:16:33 -0400 Wed, 04 May 2005 08:16:33 -0400 May 4, 2005 Pete Kusnick 0 rom The makers Of Apollo 13 And The Columbia Space Shuttle http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Is anyone here old enough to remember when being an Astronaut seemed like a cool job.
It is a cool job ;-)

Peace,

Cameron Purdy
Tangosol,...]]> Mon, 02 May 2005 11:53:52 -0400 Mon, 02 May 2005 11:53:52 -0400 Mon, 02 May 2005 11:53:52 -0400 May 2, 2005 Cameron Purdy 0 Still a cool job http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Mon, 02 May 2005 10:48:09 -0400 Mon, 02 May 2005 10:48:09 -0400 Mon, 02 May 2005 10:48:09 -0400 May 2, 2005 Pete Haidinyak 1 rom The makers Of Apollo 13 And The Columbia Space Shuttle http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Fri, 29 Apr 2005 12:12:07 -0400 Fri, 29 Apr 2005 12:12:07 -0400 Fri, 29 Apr 2005 12:12:07 -0400 Apr 29, 2005 M J 3 Hammurapii is quite good http://www.theserverside.com/discussions/thread.tss?thread_id=33583 http://www.hammurapi.org).

It gives pretty good code review reports and it is extendable.

See some examples of the review...]]> Fri, 29 Apr 2005 07:41:25 -0400 Fri, 29 Apr 2005 07:41:25 -0400 Fri, 29 Apr 2005 07:41:25 -0400 Apr 29, 2005 Ruslan Zenin 0 Double checked locking http://www.theserverside.com/discussions/thread.tss?thread_id=33583 [/quote]
Hmm...
I am not sure how it would impact singleton synchronize problem....]]> Fri, 29 Apr 2005 04:50:36 -0400 Fri, 29 Apr 2005 04:50:36 -0400 Fri, 29 Apr 2005 04:50:36 -0400 Apr 29, 2005 Ranjan Baisak 0 Limitations? Enhance it yourself... http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Thu, 28 Apr 2005 10:52:16 -0400 Thu, 28 Apr 2005 10:52:16 -0400 Thu, 28 Apr 2005 10:52:16 -0400 Apr 28, 2005 Yoav Shapira 0 FindBugs http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Thu, 28 Apr 2005 09:17:02 -0400 Thu, 28 Apr 2005 09:17:02 -0400 Thu, 28 Apr 2005 09:17:02 -0400 Apr 28, 2005 Mark Garrison 0 Limit on number of lines of code that can be checked http://www.theserverside.com/discussions/thread.tss?thread_id=33583
Another restriction is given by JPF's state storage requirements, which effectively limits the size of checkable applications to ~10kloc (depending on their...]]> Thu, 28 Apr 2005 08:37:16 -0400 Thu, 28 Apr 2005 08:37:16 -0400 Thu, 28 Apr 2005 08:37:16 -0400 Apr 28, 2005 Roy Tock 1 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Thu, 28 Apr 2005 08:31:37 -0400 Thu, 28 Apr 2005 08:31:37 -0400 Thu, 28 Apr 2005 08:31:37 -0400 Apr 28, 2005 stu pot 0 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583 i wonder where these guys have their physics education?
Imperial College ?]]> Thu, 28 Apr 2005 06:51:45 -0400 Thu, 28 Apr 2005 06:51:45 -0400 Thu, 28 Apr 2005 06:51:45 -0400 Apr 28, 2005 Cetin Karakus 1 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583 That exception means that you passed the parameters in metric terms; try passing them using the imperial system (feet instead of meters).!

Bwhahahahahahahahahahaha.]]> Thu, 28 Apr 2005 04:29:05 -0400 Thu, 28 Apr 2005 04:29:05 -0400 Thu, 28 Apr 2005 04:29:05 -0400 Apr 28, 2005 han theman 0 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Sounded promising, so I tried it, but I got:

Java Pathfinder Model Checker v3.1.2 - (C) 1999-2004 RIACS/NASA Ames Research CenterJPF exception, terminating: class java.lang.NullPointerException: null

Hmm .. maybe I should use...]]> Wed, 27 Apr 2005 20:28:45 -0400 Wed, 27 Apr 2005 20:28:45 -0400 Wed, 27 Apr 2005 20:28:45 -0400 Apr 27, 2005 Cameron Purdy 3 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583
Java Pathfinder Model Checker v3.1.2 - (C) 1999-2004 RIACS/NASA Ames Research CenterJPF exception, terminating: class java.lang.NullPointerException: null

Hmm .. maybe I should use Java...]]> Wed, 27 Apr 2005 14:57:23 -0400 Wed, 27 Apr 2005 14:57:23 -0400 Wed, 27 Apr 2005 14:57:23 -0400 Apr 27, 2005 gbevin 5 NASA releases Java verification program as Opensource http://www.theserverside.com/discussions/thread.tss?thread_id=33583 Or do you think that concurrency issues are easy enough to detect and solve as things stand today?You're kidding, right?]]> Wed, 27 Apr 2005 13:46:52 -0400 Wed, 27 Apr 2005 13:46:52 -0400 Wed, 27 Apr 2005 13:46:52 -0400 Apr 27, 2005 Nils Kilden-Pedersen 9