For an university exam, I was asked to summarize and present a paper in the topic of formal verification and validation. I chose this paper, which presents a tool for verifiying LTL formulas against a web application.
Links: Full screen document, Download.