Data Dependency Analysis of Concurrent Software

  • The project will be presented by an exhibit at the CAU booth for the whole fair week.
  • On Monday, April 1, at 3:00pm, Prof. Dirk Nowotka presents "Safety Verification is an Innovation Enabler" at the CAU booth stage.

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.