Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.

Héctor Ruíz Barradas Lilian Burdy David Déharbe

Published in: ABZ (2020)

Keyphrases

imperative programs
constraint satisfaction
constraint programming
linear constraints
dynamic logic
structural properties
global constraints
convex constraints
neural network
genetic algorithm
knowledge base
multi agent systems
theorem proving
semantic properties
anti monotone
derivation rules