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.