Java Pathfinder

NASA has released Java Pathfinder at SourceForge. Looks like a cool software.

It is an explicit state software model checker for Java bytecode.

JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.

Unlike its other open source projects, this one is released at SourceForge.


Technorati Tags: Blog, Java.

Google Maps

Google has added satellite imagery to its Google Maps. So now you can view the normal graphic map of your locality - zoom in, click and drag and find directions. Or you could switch to the satellite view (by clicking on the satellite link on the left hand side) and do the same!

Here's the map for the lower central park. You can clearly see that the images were taken in two different seasons. The left part of the part is green while the right side is wintery brown.

Wonder when they'll cover non-US locations too.

Technorati Tags: Blog, Google, Maps, Satellite Map, Central Park, New York.

Gmail - 2 GB

Gmail has increased the mailbox size to 2 GB.

Unlike other online mailboxes, they have increased it across the board. Some of my older mailboxes from other site have yet to receive the promised boost in storage - but I'm pretty happy with the gmail service and have no plans to switch!

Want Gmail? Lemme know.

Technorati Tags: Blog, Gmail.