#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2004

2017

- This year (0)
- Last 5 years (3)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Brad Bingham, Jesse Bingham, Flavio M. de Paula, John Erickson, Gaurav Singh, Mark Reitblatt
- Ninth International Workshop on Parallel and…
- 2010

We present Preach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker that… (More)

- Jesse Bingham, S. Peel., +6 authors J. Tallowin
- 2012

Heap-manipulating programs (HMP), which manipulate unbounded linked data structures via pointers, are a major frontier for software model checking. In recent work, we proposed a small logic and… (More)

- Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
- IEEE Transactions on Computers
- 2017

We present a generic digit serial method (DSM) to compute the digits of a real number <inline-formula> <tex-math notation="LaTeX">$V$</tex-math><alternatives><inline-graphic… (More)

- Jesse Bingham
- 2004

Computer hardware, and thus computer software, is becoming increasingly complex as facilitated by Moore’s Law. With this swelling of complexity comes an increase in the number and subtlety of design… (More)

- Jesse Bingham, Joe Leslie-Hurd
- CAV
- 2014

In this paper we consider the problem of formally verifying hardware that is specified to compute reciprocal, reciprocal square root, and power-of-two functions on floating point numbers to within a… (More)

- Jesse Bingham
- J. Formalized Reasoning
- 2011

A transcendental number is one that is not the root of any non-zero polynomial having integer coefficients. It immediately follows that no rational number q is transcendental, since q can be written… (More)

- Jesse Bingham
- 2010

We present PReach, a distributed explicit state model checker based on Murφ. PReach is implemented in the concurrent functional language Erlang. This allowed a clean and simple implementation, with… (More)

- Jesse Bingham
- Formal Methods in Computer-Aided Design (FMCAD)
- 2015

In the simplest setting, one represents a boolean function using expressions over variables, where each variable corresponds to a function input. So-called parametric representations, used to… (More)

- ‹
- 1
- ›