Executable Assertion And Reasoning