Automated verification of RPC stub code
Lecture Notes in Computer Science, pp. 273-290, 2015.
Formal verification has been successfully applied to provide strong correctness guarantees of software systems, but its application to large code bases remains an open challenge. The technique of component-based software development, traditionally employed for engineering benefit, also aids reasoning about such systems. While there exist ...More
Full Text (Upload PDF)
PPT (Upload PPT)