scientific article; zbMATH DE number 7444021

zbMath1483.68216arXiv1907.03997MaRDI QIDQ5016382

No author found.

Publication date: 13 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Cites Work

• Unnamed Item
• Relational program reasoning using compiler IR
• Automating induction for solving Horn clauses
• Product programs and relational program logics
• Relational Decomposition
• Secure information flow by self-composition
• Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
• Towards Modularly Comparing Programs Using Automated Theorem Provers
• Static Analysis
• Exploiting synchrony and symmetry in relational verification