Runtime verification of contracts with Themulus

DOI10.1007/978-3-030-58768-0_13MaRDI QIDQ2038045zbMATH OpenOpenAlexFDO

Authors Alberto Aranda García, Christian Colombo, Luis Llana, 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 methodsLARVAruntime verification

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)

Recommendations

• Verifiable abstractions for contract-oriented systems
• Contract-based resource verification for higher-order functions with memoization
• scientific article; zbMATH DE number 1951186

Cited in

(8)

• Modelling and analysis of normative documents
• Model checking contractual protocols
• A Debugger-Cooperative Higher-Order Contract System in Python
• Runtime monitoring of contract regulated web services
• Automatic Conflict Detection on Contracts
• Model Checking Contracts – A Case Study
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

This page was built for publication: Runtime verification of contracts with Themulus

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