Checking an automated system for deadlocks

Verifying,modeling and simulation of a high tech system by using a non-deterministic langauge with a real-valued clocks. A specific constraint is set on the system and then simulated to find the deadlocks

Even in this century there are still many bugs or deadlocks present in high tech systems. This provides another method to further improve a robust system.

By looking the complex system as a state machine instead of a timed machine, the bugs can be tracked down without the need of reading complex coding system with millions of line codes.