Victor Petrovykh

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh
\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE (2003)
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR (2001)
Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh
Model-Checking over Multi-valued Logics. FME (2001)