Re: [Javapathfinder-user] JPF - Kripke structure

[Corina P. <Cor...@na...>]

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/