Jika pendekatan semacam ini terus dikembangkan dan diadopsi secara luas, maka pembangunan sistem perangkat lunak yang tidak hanya efisien tetapi juga terbukti benar secara matematis akan menjadi lebih terjangkau dan sistematis. DeepSEAÂ membuka pintu menuju praktik rekayasa perangkat lunak sistem yang lebih modern, aman, dan terpercaya.
Referensi : Sjöberg, V., Sang, Y., Weng, S., & Shao, Z. (2019). DeepSEA: A Language for Certified System Software. Proceedings of the ACM on Programming Languages, 3(OOPSLA), Article 136. https://doi.org/10.1145/3360562
Follow Instagram @kompasianacom juga Tiktok @kompasiana biar nggak ketinggalan event seru komunitas dan tips dapat cuan dari Kompasiana. Baca juga cerita inspiratif langsung dari smartphone kamu dengan bergabung di WhatsApp Channel Kompasiana di SINI
