Model Checking Contracts – A Case Study

DOI10.1007/978-3-540-75596-8_8MaRDI QIDQ3510789zbMATH OpenOpenAlexFDO

Authors Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider

Publication date 3 July 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/27693

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking contractual protocols
• Contract agreements via logic
• A trace-based model for multiparty contracts
• Automatic Conflict Detection on Contracts
• Runtime verification of contracts with Themulus

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• A Formal Language for Electronic Contracts
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Modal logics and mu-calculi: An introduction
• Model checking contractual protocols
• Results on the propositional \(\mu\)-calculus
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(14)

• Automatic Conflict Detection on Contracts
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Contract agreements via logic
• Specifying the Semantics of Operation Contracts in Conceptual Modeling
• A dynamic deontic logic for complex contracts
• Modelling and verifying contract-oriented systems in Maude
• A trace-based model for multiparty contracts
• POETS: process-oriented event-driven transaction systems
• Model checking contractual protocols
• Contract-based testing.
• Modelling and analysis of normative documents
• Certified symbolic management of financial multi-party contracts
• A framework for conflict analysis of normative texts written in controlled natural language

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Model Checking Contracts – A Case Study

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