Programming and Verifying Component Ensembles

DOI10.1007/978-3-642-54848-2_5zbMath1416.68051OpenAlexW31810032WikidataQ56497690 ScholiaQ56497690MaRDI QIDQ5170744

Valerio Senni, Rocco De Nicola, Michele Loreti, Alberto Lluch Lafuente, Francesco Tiezzi, Andrea Morichetta, Rosario Pugliese

Publication date: 24 July 2014

Published in: From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54848-2_5

zbMATH Keywords

verificationmodel checkingformal methodsprocess calculicyber-physical systemscomponent-based systems

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Unnamed Item ⋮ Model-Checking Helena Ensembles with Spin ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Programming Autonomic Systems with Multiple Constraint Stores ⋮ Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

Uses Software

• SPIN
• PROMELA
• Pirlo
• KLAIM
• SCELlight
• dSPIN
• Xtext
• SCEL