formal_specification_airbag Software Engineering course @ PMF Alloy tutorial Formal spec research: The Same-Origin Policy (Eunsuk Kang, Santiago Perez De Rosso, and Daniel Jackson) Use of Formal Methods at Amazon Web Services An Empirical Study on the Correctness of Formally Verified Distributed Systems