Model Checking Contracts – A Case Study

DOI10.1007/978-3-540-75596-8_8zbMath1141.68483OpenAlexW1605326465MaRDI QIDQ3510789

Cristian Prisacariu, Gerardo Schneider, Gordon J. Pace

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)

Related Items

POETS: process-oriented event-driven transaction systems, A framework for conflict analysis of normative texts written in controlled natural language, A dynamic deontic logic for complex contracts

Uses Software

• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Symbolic model checking: \(10^{20}\) states and beyond
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• A Formal Language for Electronic Contracts