Leveraging Applications of Formal Methods | lit.salon