David L. Dill

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University
Email verificata su stanford.edu
Citato da 48443
formal verification voting technology computational biology
Daniel M. Ziegler

Daniel M. Ziegler

Redwood Research
Email verificata su rdwrs.com
Citato da 40668
Artificial Intelligence Machine Learning Formal Verification
Zhen Zhang

Zhen Zhang

Assistant Professor, Utah State University
Email verificata su usu.edu
Citato da 35449
Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology
Randal Bryant

Randal Bryant

Carnegie Mellon University
Email verificata su cs.cmu.edu
Citato da 33342
Formal verification binary decision diagrams
Orna Grumberg

Orna Grumberg

Professor of Computer Science, Technion
Email verificata su cs.technion.ac.il
Citato da 33235
Formal verification model checking
Sharad Malik

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University
Email verificata su princeton.edu
Citato da 32153
Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification
Kenneth McMillan

Kenneth McMillan

Microsoft Research
Email verificata su microsoft.com
Citato da 26968
Formal verification logic machine learning
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Email verificata su informatik.uni-freiburg.de
Citato da 25366
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Email verificata su fbk.eu
Citato da 24842
Formal Verification Model Checking SMT Automated Planning FDIR
Jacob Abraham

Jacob Abraham

Professor, University of Texas
Email verificata su cerc.utexas.edu
Citato da 20253
manufacturing test formal verification fault tolerance security
1 - 10