Вы здесь

Главная

проверка

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

Validation of UML Classes through Animation
Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004
Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003
Verification, Model Checking, and Abstract Interpretation: Proc./Third Intern. Workshop, VMCAI 2002, Venice, Italy, January 2002
Verification of an Implementation of Tomasulo s Algorithm by Compositional Model Checking
Verification of Asynchronous Circuits by BDD-based Model Cheking of Petri Nets
Verification of Erlang Programs using Abstract Interpretation and Model Checking
Verification of Source Code Transformations by Program Equivalence Checking
Verification Tools for Finite-State Concurrent Systems
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking
Verifying Commit-Atomicity Using Model-Checking
Verifying Large SDL-Specifications Using Model Checking
Verifying Randomized Byzantine Agreement
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Verifying Temporal Properties of Systems
VIII. Statecharts
Visualisation for Validation
Weak Bisimulation and Model Checking for Basic Parallel Processes
What Went Wrong: Explaining Counterexamples
Wide Classes
Xspin/Project - Integrated Validation Management for Xspin
Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями
Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями
Аффинная проверка моделей программ
К построению проверяю их тестов для недетерминированных автоматов с тайм-аутами
О корректности математических текстов и её проверке с помощью ЭВМ
Проверка правильности логических утверждений о программах на языке СЕТЛ
Русский Office 95
Системы проверки русской орфографии и грамматики
Теоретико-игровое средство проверки отношений симуляций
"Учат нас и грамоте..."