[Javapathfinder-user] JPF - Kripke structure

[prateek s. <pra...@gm...>]

Does JPF forms the Kripke Structure of a given Java byte code . If yes , in
which file is it stored

-- 
Regards,
Prateek Kumar Sinha
CSE , Final Year
MNNIT , Allahabad