A foundation for flow-based program matching: using temporal logic and model checking

DOI10.1145/1480881.1480897MaRDI QIDQ5261510zbMATHOpenAlexFDO

Authors Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller

Publication date 3 July 2015

Published in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

model checkingCTLprogram transformationbug findingprogram matching

Mathematics Subject Classification ID

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

Recommendations

• A CTL-based logic for program abstractions
• Deciding full branching time logic by program transformation
• The transformational approach to program development
• Matching logic -- extended abstract (invited talk)
• scientific article; zbMATH DE number 2090074

This page was built for publication: A foundation for flow-based program matching: using temporal logic and model checking

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