Conditional Specification with Inequational Assumptions.
Chilukuri K. MohanMandayam K. SrivasPublished in: CTRS (1987)
Keyphrases
- formal verification
- operational semantics
- provably correct
- user defined
- business rules
- restrictive assumptions
- random field model
- simplifying assumptions
- cp nets
- specification language
- formal specification
- real time
- search algorithm
- similarity measure
- image segmentation
- case study
- artificial intelligence
- neural network
- data sets