Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows

DOI10.1007/978-3-642-40885-4_4zbMath1397.68126OpenAlexW2141387172MaRDI QIDQ2849480

Silvio Ranise, Clara Bertolissi

Publication date: 20 September 2013

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Mcmt
• Cubicle

This page was built for publication: Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows