Vardi, Moshe Y.

Model Checking of Safety Properties

Kupferman, O., & Vardi, M. Y. (2001) · Formal Methods in System Design

Formal Methods in VerificationLogic, programming, and type systems

Cited by 566

The complexity of reasoning about knowledge and time. I. Lower bounds

Halpern, J. Y., & Vardi, M. Y. (1989) · Journal of Computer and System Sciences

Logic, Reasoning, and KnowledgeFormal Methods in Verification

Cited by 252

I Was Wrong about the Ethics Crisis

Vardi, M. Y. (2025) · Communications of the ACM

Ethics in Business and EducationAcademic integrity and plagiarism

Cited by 6