Profilok

Fabio Somenzi

Professor, University of Colorado Boulder

E-mail megerősítve itt: colorado.edu

Idézetek száma: 14034

Formal methods decision procedures electronic design automation

Ashish Tiwari

Computer Scientist, SRI International; Researcher Microsoft

E-mail megerősítve itt: csl.sri.com

Idézetek száma: 9794

Formal Methods Program Analysis Hybrid Systems Decision Procedures Systems Biology

James Worrell

Professor of Computer Science, Oxford University

E-mail megerősítve itt: cs.ox.ac.uk

Idézetek száma: 6411

Logic Automata Decision Procedures

Erika Abraham

Professor, Computer Science Department, RWTH Aachen University

E-mail megerősítve itt: cs.rwth-aachen.de

Idézetek száma: 5218

Formal Methods Decision Procedures Hybrid Systems Probabilistic Systems Programming Languages

David Monniaux

Researcher in computer science, CNRS, VERIMAG

E-mail megerősítve itt: univ-grenoble-alpes.fr

Idézetek száma: 4823

Program analysis abstract interpretation decision procedures verified compilation

Natasha Sharygina

Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano …

E-mail megerősítve itt: usi.ch

Idézetek száma: 4292

Program Verification Model Checking Decision Procedures

Dejan Jovanović

Amazon Web Services

E-mail megerősítve itt: amazon.com

Idézetek száma: 3804

Decision Procedures Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking

Benjamin F Jones

Amazon Web Services

E-mail megerősítve itt: amazon.com

Idézetek száma: 2980

formal methods decision procedures network verification representation theory astroparticle physics

Philippe Suter

Research Staff Member at IBM TJ Watson

E-mail megerősítve itt: us.ibm.com

Idézetek száma: 2945

Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving

Georg Weissenbacher

Professor of Computer Science, TU Wien

E-mail megerősítve itt: tuwien.ac.at

Idézetek száma: 2238

Automated verification decision procedures

1 - 10