HANNOVER MESSE 2020, 20 - 24 April
Homepage>Conference program >Safety Verification is an Innovation Enabler

Safety Verification is an Innovation Enabler

Location & Language



Event Details

Type of event



Artificial Intelligence, Digital Factory, Industrie 4.0

Event Host

Missed the Event?

So far no information materials were provided for this event. Please contact the organizer directly for further information.


What is presented? 

We live in a smart, complex, and innovative world. Autonomous driving, industry 4.0, and digital medicine require the highest safety standards. We present a new technology to detect errors in complex parallel software with an unprecedented precision. 

What is special? 

The G2 technology allows for a more precise analysis of software on a larger scale. Our algorithms raise data dependency analysis to a new level. 

What are the potentials? 

The G2 technology allows us to detect errors, which can not be detected by testing alone. We make deep code analysis available to a broad application field. This will enable complex innovations on a high safety level at feasible costs. 


 Prof. Dr. Dirk Nowotka

Prof. Dr. Dirk Nowotka

Christian-Albrechts-Universität zu Kiel

Dr. Dirk Nowotka leads the Dependable Systems group of the Computer Science department at Kiel University, Germany. Prior to joining Kiel as a Heisenberg-Professor in 2011, he was a research scientist ...

Go to profile

Stored items


Server communication error: Item could not be saved.