Abstraction -- Session 6. Tools Papers -- cascade: C Assertion Checker and Deductive