Christoph Matheja

Christoph Matheja

Professor of Theory of Correct Systems, University of Oldenburg
Email yang diverifikasi di uol.de
Dirujuk 1146 kali
program verification probabilistic programs separation logic rust
Federico Olmedo

Federico Olmedo

University of Chile
Email yang diverifikasi di dcc.uchile.cl
Dirujuk 1071 kali
Program Verification Probabilistic Programs Program Semantics
Philipp Schröer

Philipp Schröer

RWTH Aachen University
Email yang diverifikasi di cs.rwth-aachen.de
Dirujuk 65 kali
formal methods deductive verification probabilistic programs automated verification
Bahare Salmani

Bahare Salmani

PhD Student, RWTH Aachen University
Email yang diverifikasi di cs.rwth-aachen.de
Dirujuk 41 kali
Probabilistic Graphical Models Formal Verification Probabilistic Model Checking Probabilistic Programs