Showing 1 - 2 results of 2 for search '"уточнение абстракции по контрпримерам"', query time: 0.41s Refine Results
  1. 1
    Combination of static verification methods for checking requirements composition
    by V. O. Mordan
    Published 2018-10-01
    Subjects: “...уточнение абстракции по контрпримерам...”
    Get full text
    Article
  2. 2
    Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
    by M. U. Mandrykin, V. S. Mutilin, A. V. Khoroshilov
    Published 2018-10-01
    Subjects: “...уточнение абстракции по контрпримерам...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search