Search

Subject continuous integration -- model checking -- memory safety

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) ↗

Limit your search

  • continuous integration -- model checking -- memory safety 1