JavaPathFinder (JPF) is a system to verify executable Java bytecode programs. Originally developed at NASA Ames Research Center, JPF has seen extensive use in both academia and industry for detecting defects in Java applications. The tool operates by exploring all potential execution paths of a Java application to uncover defects such as deadlocks, data races, and unhandled exceptions.

Check if we can integrate it in Strimzi or somehow check for possible deadlocks, and race conditions.