David L. Dill

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University
Verified email at stanford.edu
Cited by 47628
formal verification voting technology computational biology
Randal Bryant

Randal Bryant

Carnegie Mellon University
Verified email at cs.cmu.edu
Cited by 32964
Formal verification binary decision diagrams
Orna Grumberg

Orna Grumberg

Professor of Computer Science, Technion
Verified email at cs.technion.ac.il
Cited by 32773
Formal verification model checking
Sharad Malik

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University
Verified email at princeton.edu
Cited by 31760
Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification
Daniel M. Ziegler

Daniel M. Ziegler

Redwood Research
Verified email at rdwrs.com
Cited by 31077
Artificial Intelligence Machine Learning Formal Verification
Zhen Zhang

Zhen Zhang

Assistant Professor, Utah State University
Verified email at usu.edu
Cited by 29800
Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology
Kenneth McMillan

Kenneth McMillan

Microsoft Research
Verified email at microsoft.com
Cited by 26623
Formal verification logic machine learning
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Verified email at informatik.uni-freiburg.de
Cited by 24361
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Verified email at fbk.eu
Cited by 24134
Formal Verification Model Checking SMT Automated Planning FDIR
Jacob Abraham

Jacob Abraham

Professor, University of Texas
Verified email at cerc.utexas.edu
Cited by 19984
manufacturing test formal verification fault tolerance security
1 - 10