Text this: A comparison of two different model checking techniques