Verification of Context-Dependent Channel-Based Service Models

DOI10.1007/978-3-642-17071-3_2zbMath1312.68073OpenAlexW2139686346MaRDI QIDQ3066118

Christian Krause, E. P. de Vink, Natallia Kokash

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17071-3_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items

Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ Symbolic execution of Reo circuits using constraint automata

Uses Software

• PRISM
• mCRL2
• CADP
• Reo

Cites Work

• Connector colouring. I: Synchronisation and context dependency
• Modeling component connectors in Reo by constraint automata
• Automata Based Model Checking for Reo Connectors
• Reo: a channel-based coordination model for component composition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of Context-Dependent Channel-Based Service Models