M
Moshe Y. Vardi
Researcher at Rice University
Publications - 818
Citations - 50821
Moshe Y. Vardi is an academic researcher from Rice University. The author has contributed to research in topics: Model checking & Linear temporal logic. The author has an hindex of 99, co-authored 796 publications receiving 47959 citations. Previous affiliations of Moshe Y. Vardi include Association for Computing Machinery & Beth Israel Deaconess Medical Center.
Papers
More filters
Journal Article
Enhanced vacuity detection in linear temporal logic
Roy Armoni,Limor Fix,Alon Flaisher,Orna Grumberg,Nir Piterman,Andreas Tiemeyer,Moshe Y. Vardi +6 more
TL;DR: This work investigates vacuity detection with respect to subformulas with multiple occurrences with growing awareness of the importance of suspecting the system or the specification of containing an error in cases where model checking succeeds.
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.
TL;DR: Empirical results show that CHIMP puts minimal runtime overhead on the monitored execution of the MUV, and the average size of the monitors is reduced by over 60%, without increasing runtime overhead.
Proceedings ArticleDOI
Humans, machines, and the future of work
TL;DR: Moshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?".
Journal ArticleDOI
On the Hardness of Probabilistic Inference Relaxations
TL;DR: It is argued that approximate counting with multiplicative tolerance and probabilistic guarantees of correctness is the only class of relaxations that provably simplifies the problem, given access to an NP-oracle.
Journal ArticleDOI
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Moshe Y. Vardi,Zhiwei Zhang +1 more
TL;DR: It is proved that PM-VC-Sym is in RNC via a symbolic determinant algorithm, which can be derandomized on planar graphs and its NP-hardness is revealed by a graph-gadget technique.