نمایه‌‌ها

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

ایمیل تأیید شده در stanford.edu

بیان شده در 48810 یافته

formal verification voting technology computational biology

Daniel M. Ziegler

Redwood Research

ایمیل تأیید شده در rdwrs.com

بیان شده در 45738 یافته

Artificial Intelligence Machine Learning Formal Verification

Zhen Zhang

Assistant Professor, Utah State University

ایمیل تأیید شده در usu.edu

بیان شده در 37618 یافته

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

Randal Bryant

Carnegie Mellon University

ایمیل تأیید شده در cs.cmu.edu

بیان شده در 33479 یافته

Formal verification binary decision diagrams

Orna Grumberg

Professor of Computer Science, Technion

ایمیل تأیید شده در cs.technion.ac.il

بیان شده در 33390 یافته

Formal verification model checking

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

ایمیل تأیید شده در princeton.edu

بیان شده در 32354 یافته

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

Kenneth McMillan

Microsoft Research

ایمیل تأیید شده در microsoft.com

بیان شده در 27095 یافته

Formal verification logic machine learning

Armin Biere

Professor of Computer Science, University of Freiburg

ایمیل تأیید شده در informatik.uni-freiburg.de

بیان شده در 25748 یافته

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

ایمیل تأیید شده در fbk.eu

بیان شده در 25109 یافته

Formal Verification Model Checking SMT Automated Planning FDIR

Jacob Abraham

Professor, University of Texas

ایمیل تأیید شده در cerc.utexas.edu

بیان شده در 20361 یافته

manufacturing test formal verification fault tolerance security

1 - 10