Publication

Verifying Next Generation Electronic Systems

Rolf Drechsler, Daniel Große

In: Proceedings of the 2017 International Conference on Infocom Technologies and Unmanned Systems. International Conference on Infocom Technologies and Unmanned Systems (ICTUS-2017) December 18-20 Dubai United Arab Emirates 2017.

Abstract

The application domains of electronic systems range from consumer devices to safety-critical systems. Of course, for systems of the latter areas a thorough verification is required. However, due to increasing complexity, verification is still the major bottleneck. Hence, new approaches are required. In this paper the state-of-the-art on verification is reported. Furthermore, recent developments are listed and finally the most pressing challenges for industry and academia are identified.

Projekte

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz