Claude Marché

Claude Marché

Senior Research Scientist, Inria
E-mail confirmado em inria.fr
Citado por 4309
Computer Science Deductive Verification
Malte Schwerhoff

Malte Schwerhoff

Lecturer Computer Science, ETH Zurich
E-mail confirmado em inf.ethz.ch
Citado por 775
formal methods deductive verification separation logic automated verification
David Pereira

David Pereira

Research Associate, CISTER
E-mail confirmado em isep.ipp.pt
Citado por 570
Deductive Verification Runtime Verification Interactive Theorem Proving
Claire Dross

Claire Dross

software engineer, AdaCore, Paris
E-mail confirmado em adacore.com
Citado por 250
formal methods deductive verification SMT solvers
Zheng CHENG

Zheng CHENG

Citado por 150
Model Transformation Deductive Verification
Philipp Schröer

Philipp Schröer

RWTH Aachen University
E-mail confirmado em cs.rwth-aachen.de
Citado por 51
formal methods deductive verification probabilistic programs automated verification
Sophie Lathouwers

Sophie Lathouwers

TNO
E-mail confirmado em utwente.nl
Citado por 23
Formal verification Software verification Deductive verification Annotations Specification
Ömer Şakar

Ömer Şakar

University of Twente
E-mail confirmado em utwente.nl
Citado por 13
Deductive Verification GPU programming Concurrency Optimizations
Wolfram Pfeifer

Wolfram Pfeifer

Karlsruhe Institute of Technology (KIT)
E-mail confirmado em kit.edu
Citado por 8
logic formal verification deductive verification SMT
Daniel Drodt

Daniel Drodt

PhD Student, Technical University of Darmstadt
E-mail confirmado em tu-darmstadt.de
Computer Science deductive verification