Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE Virtual Event, December 6–10, 2021 Revised Selected Papers

The proceedings contain 24 papers. The special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. The topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?; convergence Properties of Hierarchical Co-simulation Approaches; co-simulation-Based Pre-training of a Ship Trajectory Predictor; effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation; co-simulation of a Model Predictive Control System for Automotive Applications; Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework; Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins; a Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project; open Source Discovery, Adoption, and Use: An Informal Perspective; regret from Cognition to Code; DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs; formal Methods Communities of Practice: A Survey of Personal Experience; learning from Mistakes in an Open Source Software Course; a Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems; Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology; In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL); fostering Safe Behaviors via Metaphor-Based Nudging Technologies; developing the Semantic Web via the Resolution of Meaning Ambiguities; original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain; grounding Psychological Shape Space in Convolutional Neural Networks; unexpectedness and Bayes’ Rule; can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’.