Porous invariants - Lefaucheux, E; Ouaknine, J; Purser, D; Worrell, J (Proceedings of the 33rd International Conference on Computer Aided Verification (CAV 2021), 2021)