This wiki has undergone a migration to Confluence found Here
Post-condition
Jump to navigation
Jump to search
Post-condition
- a predicate that a specification requires to be true immediately after the occurrence of an operation
- REF: SAIF-CD:Figure 10: BF language concepts and relationships for describing operation semantics
