Statistical Model Checking for Composite Actor Systems
From MaRDI portal
Publication:2848881
DOI10.1007/978-3-642-37635-1_9zbMath1394.68228OpenAlexW72749565MaRDI QIDQ2848881
Jonas Eckhardt, José Meseguer, Tobias Mühlbauer, 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
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (5)
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 ⋮ A White Box Perspective on Behavioural Adaptation
Uses Software
This page was built for publication: Statistical Model Checking for Composite Actor Systems
