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]
@article{ChongCEKKMSTTT21,
title = {Code-level model checking in the software development workflow at Amazon Web Services},
author = {Nathan Chong and Byron Cook and Jonathan Eidelman and Konstantinos Kallas and Kareem Khazem and Felipe R. Monteiro and Daniel Schwartz-Narbonne and Serdar Tasiran and Michael Tautschnig and Mark R. Tuttle},
year = {2021},
doi = {10.1002/spe.2949},
url = {https://doi.org/10.1002/spe.2949},
researchr = {https://researchr.org/publication/ChongCEKKMSTTT21},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {51},
number = {4},
pages = {772-797},
}