The refinement algorithm keeps the size of the abstract state space small due to the use of abstraction functions which distinguish many degrees of abstrac-.
確定！ 回上一頁
