Victor Petrovykh

According to our database, Victor Petrovykh authored at least 3 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

\chiChek: A Model Checker for Multi-Valued Reasoning.

Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh

Proceedings of the 25th International Conference on Software Engineering, 2003

2001

Model-Checking over Multi-valued Logics.

Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh

Proceedings of the CONCUR 2001, 2001