Formal Verification of Emergent Properties. INF. 2021;45(3). doi:10.31449/inf.v45i3.3160