Lukas Bulwahn

From MaRDI portal
Person:2891446

Available identifiers

zbMath Open bulwahn.lukasMaRDI QIDQ2891446

List of research outcomes





PublicationDate of PublicationType
The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof2013-04-19Paper
Smart test data generators via logic programming2012-08-29Paper
Smart testing of functional programs in Isabelle2012-06-15Paper
Automatic proof and disproof in Isabelle/HOL2011-10-07Paper
Animating the formalised semantics of a Java-like language2011-08-17Paper
Turning Inductive into Equational Specifications2009-10-20Paper
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL2008-09-02Paper

Research outcomes over time

This page was built for person: Lukas Bulwahn

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2891446&oldid=7805645"
Powered by MediaWiki