purplecat: Hand Drawn picture of a Toy Cat (academia)
[personal profile] purplecat

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.
From:
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org


 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

April 2019

S M T W T F S
 1 234 5 6
7 8 91011 12 13
14 15 16 17 18 19 20
21222324252627
282930    

Tags

Style Credit

Expand Cut Tags

No cut tags