LMS-Verify: abstraction without regret for verified systems programming

DOI10.1145/3009837.3009867zbMath1380.68080OpenAlexW2562397426WikidataQ131121844 ScholiaQ131121844MaRDI QIDQ5370919

Tiark Rompf, Nada Amin

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009867

zbMATH Keywords

verificationsecuritycontractsLMSblamememory safetyFrama-CDSLs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Unified program generation and verification: a case study on number-theoretic transform ⋮ Embedded domain specific verifiers

Uses Software

• BLAST
• ACSL
• Spec#
• OptiML
• Leon
• TreatJS

This page was built for publication: LMS-Verify: abstraction without regret for verified systems programming