Session details: Formal methods