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

DOI10.1145/1480881.1480897zbMATH Open1315.68176OpenAlexW4301884989MaRDI QIDQ5261510FDOQ5261510

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

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

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)

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)