Communications of the ACM : towards verified artificial intelligence (New York, NY : ACM Media, 2022)