DM-check: verifying invariants of concurrent systems by deductive model checking

DOI10.1016/J.JLAMP.2025.101107MaRDI QIDQ6847672zbMATH OpenFDO

Authors Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña

Publication date 9 March 2026

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

invariantsmodel checkingrewriting logicinductive theorem provingconstrained patterns

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: DM-check: verifying invariants of concurrent systems by deductive model checking

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