Text this: Verified Software: Theories, Tools, Experiments

  ____     _    _    _    _     _____    _    _   
 |  _ \\  | || | || | || | ||  |  ___|| | \  / || 
 | |_| || | || | || | || | ||  | ||__   |  \/  || 
 | .  //  | \\_/ || | \\_/ ||  | ||__   | .  . || 
 |_|\_\\   \____//   \____//   |_____|| |_|\/|_|| 
 `-` --`    `---`     `---`    `-----`  `-`  `-`