Statistical model checking for composite actor systems

DOI10.1007/978-3-642-37635-1_9MaRDI QIDQ2848881zbMATH OpenOpenAlexFDO

Authors Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing

Publication date 13 September 2013

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37635-1_9

zbMATH Keywords

actor systemcomposite actorMauderewriting logicstatistical model checking

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional schedulability analysis of real-time actor-based systems
• Computer Aided Verification
• Composable semantic models for actor theories
• A foundation for actor computation
• Statistical model checking for cyber-physical systems

Cited in

(7)

• On the accuracy of formal verification of selective defenses for TDoS attacks
• Actor-based model checking for software-defined networks
• SDN-actors: modeling and verification of SDN programs
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• Statistical model checking of stochastic component-based systems
• A white box perspective on behavioural adaptation
• Compositional schedulability analysis of real-time actor-based systems

Describes a project that uses

Uses Software

• Maude
• PMaude
• PVeStA

This page was built for publication: Statistical model checking for composite actor systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848881)