Model-Checking Helena Ensembles with Spin

DOI10.1007/978-3-319-23165-5_16zbMath1321.68346OpenAlexW2291767769MaRDI QIDQ2945715

Rolf Hennicker, Annabelle Klarl, Martin Wirsing

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_16

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)

Related Items (2)

Role-based development of dynamically evolving esembles ⋮ Foundations for Ensemble Modeling – The Helena Approach

Uses Software

• SPIN
• SCELlight
• Helena

Cites Work

• Algebraic simulations
• A formal approach to object-oriented software engineering
• What Is a Multi-modeling Language?
• The fork calculus
• Programming and Verifying Component Ensembles
• Foundations for Ensemble Modeling – The Helena Approach
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model-Checking Helena Ensembles with Spin