#verification

  1. Loop Engineering: The Five Preconditions (Applied)
  2. pstack