Travelled to:1 × Germany
1 × USA
Collaborated with:S.M.Easterbrook M.Chechik B.Devereux A.Gurfinkel A.Y.C.Lai A.Tafliovich C.D.Thompson-Walsh
Talks about:multi (2) model (2) valu (2) checker (1) reason (1) logic (1) check (1) chek (1)
Person: Victor Petrovykh
DBLP: Petrovykh:Victor
Contributed to:
2003
2001Wrote 2 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.
- FME-2001-ChechikEP #logic #model checking #multi
- Model-Checking over Multi-valued Logics (MC, SME, VP), pp. 72–98.