Log in

No account? Create an account
07 July 2014 @ 02:35 pm
Paper Accepted: Two-Stage Agent Program Verification  

we are pleased to inform you that your manuscript:

Two-Stage Agent Program Verification

has been accepted to the CLIMA XIV Special Issue on the Journal of Logic and Computation, subject to minor revision.

This is an updated version of Using Agent JPF to Build Models for Other Model Checkers and I'm really pleased its been accepted for the Journal special issue since I didn't really have aspirations for it beyond the workshop.

This entry was originally posted at http://purplecat.dreamwidth.org/121192.html.
wellinghallwellinghall on July 8th, 2014 08:44 am (UTC)
That's great news - well done.