Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
Verified email at unsw.edu.au
Cited by 7794
formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL
Hanna Lachnitt

Hanna Lachnitt

Stanford University
Verified email at stanford.edu
Cited by 462
Automated Reasoning Formal Verification SMT Isabelle Isabelle/HOL
Cornelius Diekmann

Cornelius Diekmann

Technische Universität München
Verified email at net.in.tum.de
Cited by 189
Computer Networks Security Formal Methods Network Security Management Isabelle/HOL
Hira Taqdees Syeda

Hira Taqdees Syeda

Applied Sceintist II, Amazon Web Services
Verified email at amazon.com
Cited by 128
Formal Methods Interactive Theorem Proving Software Verification Embedded Systems Design and Verification Isabelle/HOL
Bram Kohlen

Bram Kohlen

University of Twente
Verified email at utwente.nl
Cited by 7
Probabilistic Model Checking Interactive Theorem Proving Correct-by-construction Isabelle/HOL