scientific article; zbMATH DE number 7364138

zbMATH Open1464.68078arXiv1412.1152MaRDI QIDQ4997233FDOQ4997233

Authors: Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai 

Publication date: 28 June 2021

Full work available at URL: https://arxiv.org/abs/1412.1152

Title of this publication is not available (Why is that?)

Recommendations

• Correct-by-construction asynchronous implementation of modular synchronous specifications
• A perspective on specifying and verifying concurrent modules
• Abstraction-guided synthesis of synchronization
• scientific article; zbMATH DE number 3991415
• Modular verification for shared-variable concurrent programs
• Efficiently and completely verifying synchronized consistency models
• scientific article; zbMATH DE number 17833
• Grounding synchronous deterministic concurrency in sequential programming
• On conditions for modular verification in systems of synchronising components

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (4)

• Subsequence Invariants
• Solving constrained Horn clauses over algebraic data types
• Title not available (Why is that?)
• Modular code generation from synchronous block diagrams: modularity vs. code size

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4997233)