Paul E Black

• Model checkers in software testing