Space Invader @ East London Massive

Saturday, March 22, 2008

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.