Publication | Closed Access

Data refinement of predicate transformers

Refinement TechniqueEngineeringData ScienceData RefinementAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceHigher-order LogicData Modeling