Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
From B Specifications to \}$ Forgrams
Maximiliano Cristiá
In this class notes students can learn how B specifications can be translated into \}$ forgrams, how these forgrams can be executed and how they can be proved to verify some…
cs.SE2023
Comparing EventB, and Why3 Models of Sparse Sets
Maximiliano Cristiá, Catherine Dubois
Many representations for sets are available in programming languages libraries. The paper focuses on sparse sets used, e.g., in some constraint solvers for representing integer var…