Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
Adresă de e-mail confirmată pe unsw.edu.au
Citat de 8137 ori
formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL
Hanna Lachnitt

Hanna Lachnitt

Stanford University
Adresă de e-mail confirmată pe stanford.edu
Citat de 669 ori
Automated Reasoning Formal Verification SMT Isabelle Isabelle/HOL
Cornelius Diekmann

Cornelius Diekmann

Technische Universität München
Adresă de e-mail confirmată pe net.in.tum.de
Citat de 198 ori
Computer Networks Security Formal Methods Network Security Management Isabelle/HOL
Shenghao YUAN

Shenghao YUAN

ZheJiang University
Adresă de e-mail confirmată pe inria.fr
Citat de 50 ori
formal verification JIT Compiler Coq Isabelle/HOL eBPF
Zili Wang

Zili Wang

Graduate Student, Iowa State University
Adresă de e-mail confirmată pe iastate.edu
Citat de 22 ori
Formal Methods Machine Learning Artificial Intelligence Theorem Proving Isabelle/HOL
Bram Kohlen

Bram Kohlen

University of Twente
Adresă de e-mail confirmată pe utwente.nl
Citat de 14 ori
Probabilistic Model Checking Interactive Theorem Proving Correct-by-construction Isabelle/HOL