Verum Software Tools

In general, deadlocks can be hard to find, because the entire system needs to be reviewed to discover them and freedom from deadlocks is a property of the system as a whole. For example, component A might be waiting for B which is waiting for C while C is waiting for A.

Dezyne ensures that this never happens in the following way:
Each component by itself can be verified as being deadlock free; Components can only be composed in ways that have been proven not to cause deadlock. Note: Dezyne can only verify what it knows; therefore, e.g. handwritten code can still cause deadlocks.

More info: https://lnkd.in/gM8emGQ and https://lnkd.in/gtrUKZH

A deadlock is a situation where none of the components in a system can make progress; nothing can happen and the system simply does not respond. This commonly occurs when two components each require an action from the other before they can perform any further action themselves. Another common cause is when a component is waiting for some external event which fails to occur.