David Dill

David Dill

Professor, Emeritus, of Computer Science, Stanford University
Dirección de correo verificada de stanford.edu
Citado por 37137
formal verification voting technology computational biology
Randal Bryant

Randal Bryant

Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu
Citado por 28299
Formal verification binary decision diagrams
Orna Grumberg

Orna Grumberg

Professor of Computer Science, Technion
Dirección de correo verificada de cs.technion.ac.il
Citado por 27832
Formal verification model checking
Sharad Malik

Sharad Malik

Professor of Electrical Engineering, Princeton University
Dirección de correo verificada de princeton.edu
Citado por 25895
Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification
Alessandro Cimatti

Alessandro Cimatti

Head of Unit, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu
Citado por 18534
Formal Verification Model Checking SMT Planning FDIR
Virendra Singh

Virendra Singh

Associate Professor of Electrical Engineering, Indian Institute of Technology Bombay
Dirección de correo verificada de ee.iitb.ac.in
Citado por 18490
Computer Architecture VLSI Testing Dependable Systems Design Formal Verification
Jacob Abraham

Jacob Abraham

Professor, University of Texas
Dirección de correo verificada de cerc.utexas.edu
Citado por 16441
manufacturing test formal verification fault tolerance security
Armin Biere

Armin Biere

Johannes Kepler University Linz
Dirección de correo verificada de jku.at
Citado por 15968
Formal Verification Model Checking Satisfiability Testing Debugging
vasu singh

vasu singh

Dirección de correo verificada de bmw.de
Citado por 14645
Formal Verification Software Engineering Cloud Computing
John Rushby

John Rushby

SRI International
Dirección de correo verificada de csl.sri.com
Citado por 13883
Safety dependable systems formal verification certification assurance cases
1 - 10