26 citations · 64 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 4 cited
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover
Tom Melham, Raphael Cohn, Ian Childs
This paper explores the semantics of a combinatory fragment of reFLect, the lambda-calculus underlying a functional language used by Intel Corporation for hardware design and verif…
cs.SE2013★ 1 cited
Chaining Test Cases for Reactive System Testing (extended version)
Peter Schrammel, Tom Melham, Daniel Kroening
Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is pa…