Abstract
Design patterns represent a highly successful technique in software engineering, giving a reusable 'best practice' solution to commonly occurring problems in software design. Taking inspiration from this approach, this paper introduces proof patterns, which aim to provide a common vocabulary for solving formal methods proof obligations by capturing and describing solutions to common patterns of proof. © 2014 Springer International Publishing Switzerland.
Author supplied keywords
Cite
CITATION STYLE
Freitas, L., & Whiteside, I. (2014). Proof patterns for formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8442 LNCS, pp. 279–295). Springer Verlag. https://doi.org/10.1007/978-3-319-06410-9_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
