[Javapathfinder-user] Specifying properties using 'Listener' scheme

[<cl...@gm...>]

Hi all,

We're an undergraduate group of students and we're trying to verify
some properties in a work a friend of us has done, that is an
object-oriented DMBS.

We have simplified the most we could the code, and we started by
verifying the DBMS server. Or tried to.

We've read the documentation available at the site, and have chosen to
verify using listeners (cause we need to step by the states generated,
and it seemed to us the best way to do it). But we are not really
confident of how to specify the properties. Is there any simpler
documentation on it? Can anybody point us the right way to go? How can
we specify properties for JPF to verify using listeners?

Thanks for your attention,

--=20
M=EDrian Bruckschen