Profile

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

Zweryfikowany adres z stanford.edu

Cytowane przez 48912

formal verification voting technology computational biology

Daniel M. Ziegler

Redwood Research

Zweryfikowany adres z rdwrs.com

Cytowane przez 47620

Artificial Intelligence Machine Learning Formal Verification

Zhen Zhang

Assistant Professor, Utah State University

Zweryfikowany adres z usu.edu

Cytowane przez 42724

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

Randal Bryant

Carnegie Mellon University

Zweryfikowany adres z cs.cmu.edu

Cytowane przez 33519

Formal verification binary decision diagrams

Orna Grumberg

Professor of Computer Science, Technion

Zweryfikowany adres z cs.technion.ac.il

Cytowane przez 33512

Formal verification model checking

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

Zweryfikowany adres z princeton.edu

Cytowane przez 32558

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

Kenneth McMillan

Microsoft Research

Zweryfikowany adres z microsoft.com

Cytowane przez 27145

Formal verification logic machine learning

Armin Biere

Professor of Computer Science, University of Freiburg

Zweryfikowany adres z informatik.uni-freiburg.de

Cytowane przez 25940

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

Zweryfikowany adres z fbk.eu

Cytowane przez 25186

Formal Verification Model Checking SMT Automated Planning FDIR

Jacob Abraham

Professor, University of Texas

Zweryfikowany adres z cerc.utexas.edu

Cytowane przez 20373

manufacturing test formal verification fault tolerance security

1 - 10