Collaborated with:F.R.Monteiro L.C.Cordeiro D.A.Nicole J.Morse B.F.0002
Talks about:counterexampl (1) strength (1) industri (1) checker (1) toward (1) induct (1) detect (1) model (1) esbmc (1) guid (1)
Person: Mikhail Y. R. Gadelha
DBLP: Gadelha:Mikhail_Y=_R=
Contributed to:
2018
2018Wrote 2 papers:
- ASE-2018-GadelhaMMC0N #c #model checking
- ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.
- ESEC-FSE-2018-GadelhaMCN #debugging #detection #performance #towards
- Towards counterexample-guided k-induction for fast bug detection (MYRG, FRM, LCC, DAN), pp. 765–769.