Travelled to:1 × Italy
Collaborated with:H.Rocha R.S.Barreto L.C.Cordeiro
Talks about:understand (1) softwar (1) program (1) counter (1) exampl (1) model (1) check (1) bound (1) ansi (1) use (1)
Person: Arilo Dias Neto
DBLP: Neto:Arilo_Dias
Contributed to:
2012Wrote 1 papers:
- IFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using
- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.