We present a fast algorithm for syntax-guided synthesis of inductive invariants which
combines enumerative learning with inductive-subset extraction, leverages …

Based on the principle of system engineering and optimization method, the multi-color soles
mold operation robot was constructed instead of manual operation, and the double-layer …

Computer systems have become omnipresent in our daily lives. Ensuring the reliability and
robustness of these systems is an absolute necessity. Model-Checking is one of the …

In this paper, we propose an interpolation-based learning approach to enhance the
effectiveness of solving the bounded model checking problem. Our method involves …

The demand for electricity has increased proportionately with massive urbanisation and in-
dustrialisation. Nuclear energy is a strong candidate which can be one of the solutions to ca …