"Runtime Verification" - читать интересную книгу автора (Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee,...)