Deadlock immunity is a property by which programs, once afflicted by a deadlock pattern, develop the ability to avoid future occurrences of that deadlock pattern. Over time, programs with such an "immune system" progressively increase their resistance to deadlocks. Dimmunix is a tool developed in the Dependable Systems Lab at EPFL for giving software systems such an immune system against deadlock, without any assistance from programmers or users.
These details are provided for information only. No information here is legal advice and should not be used as such.