1. Code‐level model checking in the software development workflow at Amazon Web Services. (20th January 2021) Authors: Chong, Nathan; Cook, Byron; Eidelman, Jonathan; Kallas, Konstantinos; Khazem, Kareem; Monteiro, Felipe R.; Schwartz‐Narbonne, Daniel; Tasiran, Serdar; Tautschnig, Michael; Tuttle, Mark R. Other Names: Bishop Judith guestEditor.; Cooper Kendra M.L. guestEditor.; Kim Moonzoo guestEditor.; Koziolek Heiko guestEditor. Journal: Software, practice & experience Issue: Volume 51:Number 4(2021) Page Start: 772 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗