Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In

ISBN-13: 9783030780883 / Angielski / Miękka / 2021 / 245 str.

Kirstin Peters; Tim A. C. Willemse

Spis treści

On Bidirectional Runtime Enforcement.- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks.- A Formalisation of SysML State Machines in mCRL2.- How Adaptive and Reliable is your Program.- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.- Prioritise the Best Variation.- Introduction and Preservation Analysis of Refinement Relations in CCSL.- A Case Study on Parametric Verification of Failure Detectors.- π with Leftovers: a Mechanisation in Agda.- Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths.- Towards a Spatial Model Checker on GPU.- Formal verification of HotStuff.- Better Late than Never or: Verifying Asynchronous Components at Runtime.- Designing Distributed Software in mCRL2.