Travelled to:
1 × USA
Collaborated with:
S.M.Easterbrook M.Chechik B.Devereux A.Gurfinkel A.Y.C.Lai V.Petrovykh A.Tafliovich
Talks about:
checker (1) reason (1) multi (1) model (1) valu (1) chek (1)
Person: Christopher D. Thompson-Walsh
DBLP: Thompson-Walsh:Christopher_D=
Contributed to:
Wrote 1 papers:
- ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
- χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.