formal methods for verification Programming Z3 Mikino is a (relatively) simple induction and BMC engine Mikino: Induction for Dummies (demonstration) mikino_api