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
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet





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