Concept Lab | Resources

Invariant Testing

Question 1 of 5Score 0/5

RiverLend runs random sequences of deposit, borrow, repay, liquidate, and warp-time actions while asserting debt never exceeds modeled collateral. What technique is this?