Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

We describe a technique for systematic testing of multi-threaded programs. We combine
Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path …

Dynamic symbolic execution (DSE) has established itself as an effective testing and analysis
technique. While the memory model in DSE has attracted significant attention, the memory …

The main reason for the standardization of network protocols, like QUIC, is to ensure
interoperability between implementations, which poses a challenging task. Manual tests are …

This paper presents the formal modelling and verification of the Ad-hoc On-demand
Distance Vector (AODV) routing protocol. Our study focuses on the quantitative aspects of …

We describe a technique for systematic testing of multithreaded programs. We combine
Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path …