Compositional verification in rewriting logic

DOI10.1017/S1471068423000340MaRDI QIDQ7027170zbMATH OpenFDO

Authors Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

verificationsimulationmodularityabstractionrewriting logicMaudeassume/guarantee

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Compositional verification in rewriting logic

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