6 citations · 17 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 3 cited
Hipster: Integrating Theory Exploration in a Proof Assistant
Moa Johansson, Dan Rosen, Nicholas Smallbone +1
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new int…
cs.LO2009★ 1 cited
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Koen Claessen, Jan-Willem Roorda
Generalised Symbolic Trajectory Evaluation (GSTE) is a high-capacity formal verification technique for hardware. GSTE uses abstraction, meaning that details of the circuit behaviou…