Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. Verifying linear time temporal logic properties of concurrent Ada programs with quasar. In Robert C. Leif, Ricky E. Sward, editors, Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. pages 17-24, ACM, 2003. [doi]
Abstract is missing.