From: prateek s. <pra...@gm...> - 2010-03-24 16:06:00
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
From: Corina P. <Cor...@na...> - 2010-03-24 17:28:32
prateek sinha wrote:
> Does JPF forms the Kripke Structure of a given Java byte code . If yes , in
> which file is it stored
>
>
Hi:
JPF does not build a Kripke structure explicitly: it explores the Java
program on the fly (and it stores the explored program states).
--
Corina Pasareanu, PhD
CMU/NASA Ames
http://ti.arc.nasa.gov/profile/pcorina/
