個人資料

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

在 stanford.edu 的電子郵件地址已通過驗證

被引用 48068 次

formal verification voting technology computational biology

Daniel M. Ziegler

Redwood Research

在 rdwrs.com 的電子郵件地址已通過驗證

被引用 35622 次

Artificial Intelligence Machine Learning Formal Verification

Zhen Zhang

Assistant Professor, Utah State University

在 usu.edu 的電子郵件地址已通過驗證

被引用 33275 次

Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology

Randal Bryant

Carnegie Mellon University

在 cs.cmu.edu 的電子郵件地址已通過驗證

被引用 33192 次

Formal verification binary decision diagrams

Orna Grumberg

Professor of Computer Science, Technion

在 cs.technion.ac.il 的電子郵件地址已通過驗證

被引用 33020 次

Formal verification model checking

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

在 princeton.edu 的電子郵件地址已通過驗證

被引用 31983 次

Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification

Kenneth McMillan

Microsoft Research

在 microsoft.com 的電子郵件地址已通過驗證

被引用 26841 次

Formal verification logic machine learning

Armin Biere

Professor of Computer Science, University of Freiburg

在 informatik.uni-freiburg.de 的電子郵件地址已通過驗證

被引用 24997 次

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

在 fbk.eu 的電子郵件地址已通過驗證

被引用 24517 次

Formal Verification Model Checking SMT Automated Planning FDIR

Jacob Abraham

Professor, University of Texas

在 cerc.utexas.edu 的電子郵件地址已通過驗證

被引用 20118 次

manufacturing test formal verification fault tolerance security

1 - 10