`Travelled to:`

1 × Estonia

1 × France

1 × Italy

1 × Uruguay

`Collaborated with:`

L.C.Cordeiro D.Nicole B.Fischer M.Ramalho M.Y.R.Gadelha F.R.Monteiro B.F.0002 D.A.Nicole

`Talks about:`

esbmc (4) contribut (3) competit (3) model (3) context (2) check (2) bound (2) strength (1) properti (1) industri (1)

## Person: Jeremy Morse

### DBLP: Morse:Jeremy

### Contributed to:

### Wrote 5 papers:

- TACAS-2014-MorseRCN0 #contest
- ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
- TACAS-2013-MorseCNF #bound #contest
- Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.
- TACAS-2012-CordeiroMNF #bound #contest #model checking
- Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
- SEFM-2011-MorseCNF #bound #ltl #model checking
- Context-Bounded Model Checking of LTL Properties for ANSI-C Software (JM, LCC, DN, BF), pp. 302–317.
- ASE-2018-GadelhaMMC0N #c #model checking
- ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.