scientific article
From MaRDI portal
Publication:2989003
zbMath1366.68172MaRDI QIDQ2989003
Publication date: 19 May 2017
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004472?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model checkingSATabstraction refinementcomponent-based software engineeringtimed constraint automata
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ SAT-based verification for timed component connectors ⋮ Verification of Context-Dependent Channel-Based Service Models
Uses Software
This page was built for publication:
