Automated verification of RPC stub code

Lecture Notes in Computer Science, pp. 273-290, 2015.

Cited by: 8|Bibtex|Views45|DOI:https://doi.org/10.1007/978-3-319-19249-9_18
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments