Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity
Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I., & Madhusudan, P. (2019). Kaizen: Building a performant blockchain system verified for consensus and integrity. 2019 Formal Methods in Computer Aided Design (FMCAD), Computer Aided Design (FMCAD), 2019 Formal Methods In, 96–104.
This is an exciting read on how the Kaizen method supports a highly technical project.