Proceedings of the Thirty-First Hawaii International …, Jan 1, 1998
... In the 80s, a number of solutions based on Hoare's logic [4] employed pr... 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. ...
Proceedings of the Thirty-First Hawaii International …, Jan 1, 1998
... In the 80s, a number of solutions based on Hoare's logic [4] employed pr... 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. ...
Uploads