Model checking contractual protocols

MaRDI QIDQ2769718zbMATH OpenFDO

Authors Aspassia Daskalopulu

Publication date 5 February 2002

zbMATH Keywords

model checkingverification of contracts

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model Checking Contracts – A Case Study
• scientific article; zbMATH DE number 910719
• Runtime verification of contracts with Themulus
• Contract agreements via logic
• Modelling and analysis of normative documents

Cited in

(10)

• Model Checking Contracts – A Case Study
• Meanings of model checking
• scientific article; zbMATH DE number 1943793 (Why is no real title available?)
• The use of contract specifications for representing requirements and for functional testing of hardware models
• A Formal Language for Electronic Contracts
• Soft contract verification
• An e-business assurance technique based on model-checking
• POETS: process-oriented event-driven transaction systems
• Modelling and analysis of normative documents
• scientific article; zbMATH DE number 2088062 (Why is no real title available?)

This page was built for publication: Model checking contractual protocols

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