Вы здесь

Главная

инвариант

Связанные издания:

A Generative Approach to Aspect-Oriented Programming
A Program Verification System Bazed on Oz
A Type System for Reachability and Acyclicity
Automatic Inference of Class Invariants
Constraint-Based Linear Relations Analysis
Elimination of Loop Invariants in Program Verification
Fundamental Difficulties with Projective Normalization of Planar Curves
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
How to use the Cross Ratio to Compute Projective Invariants from two Images
Invariant Based Programmming
Meta-programming with Typed Object-Language Representations
Model-based Invariant Functions and Their Use for Recognition
Modeling, Optimization and Computation for Software Verification
New Structural Invariants for Petri Nets Analysis
ObjChart: Tangible Specification of Reactive Object Behavior
Object Invariants in Dynamic Contexts
On Logics of Aliasing
Program Verification Using Automatic Generation of Invariants
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
Recognition by Combinations of Model Views: Alignment and Invariavnce
Repeated Structures: Image Correspondence Constraints and 3D Structure Recovery
Representations of 3D Objects that Incorporate Surface Markings
Scalable Analysis of Liear Systems Using Mathematical Programming
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
The Double Algebra: An Effictive Tool for Computing Invariants in Computer Vision
Topological Invariants for Lines
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Using Invariance and Quasi-Invariance for the Segmentation and Recovery of Curved Objects
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
Алгоритмы антиунификации и их применение для вычисления инвариантов программ
Внутреннее представление программ в системе Сократ
Доказательство корректности программ
Инварианты временных сетей Петри
Инвариант языка программирования
Классические группы. Их инварианты и представления
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
О системе инвариантов, разделяющих неконгруэнтные алгебраические многообразия в алгебраическом пространстве Клейна
Элиминация инвариантов циклов при верификации программ
Элиминация инвариантов циклов при верификации программ