1 paper
Ariadna Brănici-Faraon, Ştefan Ciobâcă, Diana-Elena Gratie
We present a formalization in Dafny of the Omega Test, an algorithm used to decide the satisfiability of a system of inequalities. The implementation defines executable representat…