Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle. Code-level model checking in the software development workflow at Amazon Web Services. Software: Practice and Experience, 51(4):772-797, 2021. [doi]
Abstract is missing.