Apalache Model Checker
Users following apalache-mc
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
