The Curiosity Mars rover is one of the most complex and successfully deployed systems in planetary exploration to date, sent
Category: Testing & Verification
Runtime verification of program side-effects in OCaml
The project aims to ensure the correctness of concurrent programs, given their complex behaviour. Despite being primarily known for its
Instrumenting inline runtime monitoring in Elixir
Concurrent languages present challenges for software correctness since standard approaches, such as unit testing, can be ineffective. This is due
Runtime verification of robotic applications inspecting radioactive environments
The growing reliance on robotics with respect to various hazardous applications has created the need for robust and reliable robotic
A Python DFA learning toolkit
Deterministic finite-state automata (DFA) are computational machines that are able to accept or reject words, depending on whether they belong
Secure and correct execution of the X3DH protocol through runtime verification
Messaging applications have become essential for communication, especially with respect to sharing sensitive information, such as personal and financial data.
Exploring bidirectional typing for the Semi-Axiomatic sequent calculus (SAX)
Advances in hardware technology have proven incapable of keeping up with the growing needs of increasingly complex software systems. To
Typing OTP design patterns with session types
A dynamically typed programming language, such as Elixir, allows type checking and evaluation to occur during run-time (i.e., program execution).
PEST – Personal Engaging Scheduler Task Manager: A mobile task-manager app designed for people with ADHD
Struggling with time management is a recurring issue for persons with attention deficit hyperactivity disorder (ADHD). This impairment, which is