"Constraint-Based Verification" - читать интересную книгу автора (Jun Yuan, Carl Pixley, Adnan Aziz)