Applications of formal methods | lit.salon