Run-Time Monitoring of Electronic Contracts

DOI10.1007/978-3-540-88387-6_34zbMath1183.68074OpenAlexW2162518765MaRDI QIDQ3540088

Cristian Prisacariu, Marcel Kyas, Gerardo Schneider

Publication date: 20 November 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_34

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

Related Items (7)

A brief account of runtime verification ⋮ Permission to speak: a logic for access control and conformance ⋮ A dynamic deontic logic for complex contracts ⋮ Run-Time Monitoring of Electronic Contracts ⋮ A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ A trace-based model for multiparty contracts

Cites Work

• Unnamed Item
• A completeness theorem for Kleene algebras and the algebra of regular events
• Checking finite traces using alternating automata
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Alternation
• An automata-theoretic approach to branching-time model checking
• Monitoring of Real-Time Properties
• A Formal Language for Electronic Contracts
• PDL with Intersection and Converse Is 2EXP-Complete

This page was built for publication: Run-Time Monitoring of Electronic Contracts