Вы здесь

Главная

аксиоматический

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

Abstract State Machines Capture Parallel Algorithms
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Congruence for Gamma Programs
An Axiomatic Semantics for the Synchronous Language Gentzen
An Axiomatization of Lamport s Temporal Logic of Actions
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
A Polymorphic Sort System for Axiomatic Specification Languages
A Three-Level Approach to C# Program Verification
Axiomatizations of Backtracking (extended abstract)
Error-tracing axiomatic semantics for C-kernel
Experiments on self-applicability in the C-light verification system
Fairness and the Axioms of Control Predicates
Hoare Logic for Mutual Recursion and Local Variables
How to Cope with the Spectrum of Spectrum
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Logic of Proofs
Nonmonotonic Logics for Belief Revision
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
Reconciling Axiomatic and Model-Based Specifications Using the B Method
Specifying Type Systems
The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013
Theory and Applications of Formal Argumentation: Revised Selected Papers/3rd International Workshop, TAFA 2015, Buenos Aires, Argentina, July 2015
The Semantic Treatment of Polymorphic Specification Languages
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language
Аксиоматическая теория именных множеств и моделирование структур экспликативного программирования
Аксиоматические модели и методы проектирования языковых трансляторов
Верификация С-программ в мультиязыковой системе СПЕКТР
Верификация С-программ на основе смешанной аксиоматической семантики
Конечно аксиоматизированные теории
К проблеме видимости и типизации в языке Модула-2
Множества, логика, аксиоматические теории
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel
На пути к верификации C-программ. Часть 2: Язык C-light-kernel и его аксиоматическая семантика
О паралогичности некоторых логических построений
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки