The following pages link to Lukas Bulwahn (Q2891446):
Displaying 7 items.
- Smart Testing of Functional Programs in Isabelle (Q2891447) (← links)
- Smart test data generators via logic programming (Q2909153) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Turning Inductive into Equational Specifications (Q3183524) (← links)
- Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL (Q3523164) (← links)
- The New Quickcheck for Isabelle (Q4916054) (← links)
