temporal-logic

You Can Model-Check Code Without Learning Temporal Logic

Bounded model checkers like Kani and relational model finders like Alloy let you verify properties with ordinary assertions and constraints.