David L. Dill

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University
Email được xác minh tại stanford.edu
Trích dẫn 48820 bài viết
formal verification voting technology computational biology
Daniel M. Ziegler

Daniel M. Ziegler

Redwood Research
Email được xác minh tại rdwrs.com
Trích dẫn 46505 bài viết
Artificial Intelligence Machine Learning Formal Verification
Zhen Zhang

Zhen Zhang

Assistant Professor, Utah State University
Email được xác minh tại usu.edu
Trích dẫn 42404 bài viết
Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology
Randal Bryant

Randal Bryant

Carnegie Mellon University
Email được xác minh tại cs.cmu.edu
Trích dẫn 33493 bài viết
Formal verification binary decision diagrams
Orna Grumberg

Orna Grumberg

Professor of Computer Science, Technion
Email được xác minh tại cs.technion.ac.il
Trích dẫn 33485 bài viết
Formal verification model checking
Sharad Malik

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University
Email được xác minh tại princeton.edu
Trích dẫn 32510 bài viết
Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification
Kenneth McMillan

Kenneth McMillan

Microsoft Research
Email được xác minh tại microsoft.com
Trích dẫn 27116 bài viết
Formal verification logic machine learning
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Email được xác minh tại informatik.uni-freiburg.de
Trích dẫn 25867 bài viết
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Email được xác minh tại fbk.eu
Trích dẫn 25131 bài viết
Formal Verification Model Checking SMT Automated Planning FDIR
Jacob Abraham

Jacob Abraham

Professor, University of Texas
Email được xác minh tại cerc.utexas.edu
Trích dẫn 20359 bài viết
manufacturing test formal verification fault tolerance security
1 - 10