BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Gadelha:Mikhail_Y=_R=

Contributed to:

ASE 20182018
ESEC/FSE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.