Travelled to:1 × France
Collaborated with:L.Fix R.Fraer E.Giunchiglia G.Kamhi A.Tacchella M.Y.Vardi
Talks about:industri (1) benefit (1) model (1) check (1) bound (1) set (1)
Person: Fady Copty
DBLP: Copty:Fady
Contributed to:
2001Wrote 1 papers:
- CAV-2001-CoptyFFGKTV #bound #industrial #model checking
- Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.