Runtime verification of contracts with Themulus

DOI10.1007/978-3-030-58768-0_13zbMath1476.68163OpenAlexW3085455177MaRDI QIDQ2038045

Alberto Aranda García, Luis Llana, Christian Colombo, Gordon J. Pace, María Emilia Cambronero

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-58768-0_13

zbMATH Keywords

deontic logicformal methodsruntime verificationLARVA

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) 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: Runtime verification of contracts with Themulus