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.

Profile

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

March 2019

S M T W T F S
      1 2
3 4 5 67 8 9
101112131415 16
17 18 1920212223
24252627282930
31      

Tags

Style Credit

Expand Cut Tags

No cut tags