Carsten Sinz

Carsten Sinz

Karlsruhe University of Applied Sciences
Dirujuk 3526 kali
Software Verification SAT/SMT-Solving Configuration
Nicolas Amat

Nicolas Amat

ONERA/DTIS, Université de Toulouse
Email yang diverifikasi di onera.fr
Dirujuk 100 kali
Computer Science Formal Methods Model Checking SAT/SMT Solving Petri Nets
Milan Banković

Milan Banković

Faculty of Mathematics, University of Belgrade, Serbia
Email yang diverifikasi di matf.bg.ac.rs
Dirujuk 62 kali
Artificial Intelligence Automated Reasoning SAT/SMT solving Constraint Programming
Hongyu Fan

Hongyu Fan

Tsinghua University
Email yang diverifikasi di mails.tsinghua.edu.cn
Dirujuk 60 kali
Formal verification Concurrent program verification Hardware model checing SAT/SMT solving