formal-verification Recently studying formal methods and tools: Boogie The Anchor Verifier Some related topics: SMT Z3 Solver