3TU.BSR: Big Software on the Run

ArRangeer: smARt RAilroad maintenance eNGinEERing with stochastic model checking

Aselsan - University of Twente cooperation

Atelier for Creative Programming

ATOMYSTE: ATOm splitting in eMbedded sYStems TEsting

BEAT: Better Testing with Game Theory

Beauty and Joy of Computing in Dutch

CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking

CARP: Correct and Efficient Accelerator Programming

CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour

Development of methods and tools for AI safety verification

Domino: domino-effects due to (digital) connectivity in the chemical industry

FormaSig: Formal methods in railway signalling infrastructure

Functional Languages for Databases

GRASLAND: Graphs for Software Language Definition

GROOVE: Graphs for Object-Oriented Verification

Maintainability of Critical Banking Software

Mercedes: Maximal Reliability of Concurrent and Distributed Software

NASCENCE: NAnoSCale Engineering for Novel Computation using Evolution

NIRICT Reconnaissance Topic

PAMPAS: Parallel Algorithms for Model-checking and Parameter Synthesis

PIGGY: Reasoning on Parity Games using Tangles

PrimaVera: Predictive maintenance for Very effective asset management

SamSam: An integral SAfety / Security Analysis fraMework

SENSATION: Self Energy-Supporting Autonomous Computation

Sequoia: Smart maintencance optimization

SlaLoM: Security by Logic for Multithreaded applications

SPACE: Specification-based Performability Checking

StepUp: Test Selection via statistical User Profiles

SUCCESS: SecUre aCCESSibility for the internet of things

SUMBAT: Supersizing Model-Based Testing

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

VerCors: Verification of Concurrent Data Structures

VerDi: Verification of Distributed Software

Verification of Cyber-Physical Systems

Verified Probabilistic Verification

ViGARO: Verified Generation of Parallel Software