Research Interests:
Research Interests:
Research Interests:
... In the 80s, a number of solutions based on Hoare's logic [4] employed predicate logic to formally specify the properties of the objects. ... Following Hoare's logic, the required and provided... more
... In the 80s, a number of solutions based on Hoare's logic [4] employed predicate logic to formally specify the properties of the objects. ... Following Hoare's logic, the required and provided behaviors can be seen re-spectively as the pre-and post-conditions of agent execu-tion. ...