jStar is born

A Java cousin of Space Invader is just born. It's called jStar and it aims at the verification of tricky Java programs. Details in this paper:

jStar: Towards practical verification for Java.
Dino Distefano and Matthew Parkinson.
Submitted.