Only by formal verification approaches functional correctness can be ensured. While for
many circuits fast verification is possible, in other cases the approaches fail. In general no …

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

Quantum computers are becoming a reality and numerous quantum computing applications
with a near-term perspective (eg, for finance, chemistry, machine learning, and optimization) …

The development of computing machines found great success in the last decades. But the
ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking …

Verification of quantum circuits is essential for guaranteeing correctness of quantum
algorithms and/or quantum descriptions across various levels of abstraction. In this work, we …

The size and the complexity of digital circuits are increasing rapidly. This makes the circuits
highly error-prone. As a result, proving the correctness of a circuit is of utmost importance …