scientific article; zbMATH DE number 7364138

MaRDI QIDQ4997233zbMATH OpenFDO

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, http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2014.4

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Subsequence Invariants
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• Modular code generation from synchronous block diagrams: modularity vs. code size
• Solving constrained Horn clauses over algebraic data types
• Synthesizing environment invariants for modular hardware verification

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)