Structured specification of paraconsistent transition systems -- Towards a Basic Theory for Partial Differentiation in the Prototype Verification System -- Case studies of development of verified programs with Dafny for accessibility assessment -- TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation -- An Optimised Complete Strategy for Testing Symbolic Finite State Machines -- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models -- Interaction-based Offline Runtime Verification of Distributed Systems -- Genetic Algorithm for Program Synthesis -- Property-Based Conjecturing for Automated Induction in Isabelle/HOL -- Verification of the busy-forbidden protocol -- kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification.