Re: [isabelle] 3 Papers Available

Dear all,

Le 14/03/12 18:39, Burkhart Wolff a écrit :
> Dear all,
> here are 3 new papers concerning "Isabelle and Testing/Refinement":

maybe this is naive question, but how do HOL-testgen behaves w.r.t. quickcheck and nitpick tools of Isabelle/HOL?

Is it likely to succeed to find a counterexample where a typical

    quickcheck [tester=narrowing]

call fails?

I am intensively counterexample finding (using quickcheck and nitpick) for teaching, so I am interested in any new tool!

Thanks in advance,

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.