Вы здесь

Главная

правильность

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

Adapting text to data in documents through a natural language processor
Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice
Analyzing Refinements of State Based Specifications: The Case of TB Nets
An Efficient Compiler Validation Method for Ada 9X
Automated Proofs of Object Code for a Widely Used Microprocessor
Checking the Soundness of Resolution Schemes
Computing Cost Estimates for Proof Strategies
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases
Correction of Functional Logic Programs
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning
Correctness Requirements for Multiagent Commitment Protocols
Improving the Accuracy of Dynamic Branch Prediction Using Branch Correlation
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
On Teaching Software Verification and Validation
OVIDE: A Tool for Data Acquisition and Validation
Pristine Perspectives on Logic, Language, and Computation: Selected Papers/ESSLLI 2012 and ESSLLI 2013 Student Sessions
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Proving correctness w.r.t. specifications with hidden parts
Reuse of Proofs in Software Verification
Semantic Correctness for a Parallel Object-oriented Language
Some Experiments in the Use of Clasering for Data Validation
Teaching Software Verification and Validation to Software Practitioners
The Ideal of Program Correctness
Type-Safe Update Programming
Unifying Theories of Programming: Revised Selected Papers/ Second International Symposium, UTP 2008, Dublin,Ireland, September 2009
Validation and Verification of Software Process Models
Verification conditions are code
Xspin/Project - Integrated Validation Management for Xspin
Автоматизация проверки правильности индексирования динамических массивов
Доказательство правильности программ линейной алгебры
Об автоматической верификации трансляторов
О синтезе программных функций в системе символического выполнения Паскаль-программ
Разработка методов доказательства правильности программ для одного класса алгоритмов
Система проверки правильности генерации кодов трансляторов
Теоретико-игровое средство проверки отношений симуляций