Keyword : postcondition


Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus
Yoshinori TANABE Toshifusa SEKIZAWA Yoshifumi YUASA Koichi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5 ; pp. 995-1002
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Foundation
Keyword: 
modal µ-calculusKripke structurepreconditionpostconditionpointer
 Summary | Full Text:PDF