Advanced formal verification | lit.salon