Browsing School of Electronic Engineering and Computer Science by Author "Monteiro, FR"
Now showing items 1-1 of 1
-
Code-level model checking in the software development workflow at Amazon Web Services
Chong, N; Cook, B; Eidelman, J; Kallas, K; Khazem, K; Monteiro, FR; Schwartz-Narbonne, D; Tasiran, S; Tautschnig, M; Tuttle, MR (Wiley, 2021-01-20)This article describes a style of applying symbolic model checking developed over the course of four years at Amazon Web Services (AWS). Lessons learned are drawn from proving properties of numerous C‐based systems, for ...