The enhancements being developed by the Time-Sensitive Networking Task Group as part
of IEEE 802.1 emerge as the future of real-time communication over Ethernet networks for …

Ethernet has now become the preferred communication mechanism for a wide range of
application domains that do not impose strict real-time constraints. Within the real-time …

Abstract νZ is a part of the SMT solver Z3. It allows users to pose and solve optimization
problems modulo theories. Many SMT applications use models to provide satisfying …

Hybrid fuzzing, which combines the merits of both fuzzing and concolic execution, has
become one of the most important trends in coverage-guided fuzzing techniques. Despite …

To date, various hybrid fuzzers have been proposed for maximal program vulnerability
exposure by integrating the power of fuzzing strategies and concolic executors. While the …

Many advanced programming tools---for both end-users and expert developers---rely on
program synthesis to automatically generate implementations from high-level specifications …

Many SMT problems of interest may require the capability of finding models that are optimal
wrt. some objective functions. These problems are grouped under the umbrella term of …

Abstract Satisfiability Modulo Theories, SMT, solvers are used in many applications. These
applications benefit from the power of tuned and scalable theorem proving technologies for …

Most software verification tools can be classified into one of a number of established
families, each of which has their own focus and strengths. For example, concrete …

The design of cyber-physical systems (CPSs) requires methods and tools that can efficiently
reason about the interaction between discrete models, eg, representing the behaviors of …