x, y = 1, 1 这个算法找到值1 ≤ "y" ≤ "n"，对于它给定整数函数是最大的。不只是这个计算而且最终状态都不是必然唯一确定的。
应用.
构造正确程序.将观察的守卫命令的同余关系推广成格导致了。这已经机制化于形式化方法如中，它允许从它们的规定形式化的导出程序。
异步电路.守卫命令适合于设计，因为重复允许不同命令选择的任意相对延迟。在这种应用之，在电路中驱动一个节点y的逻辑门构成自两个守卫命令如下：这里的Pul