Вы здесь

Главная

логика хоара

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

Automata-based verification of programs with tree updates
Error-tracing axiomatic semantics for C-kernel
Hoare Logic in the Abstract
How to Cook a Complete Hoare Logic for Your Pet OO Language
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Multi-prover Verification of C Programs
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Towards Mechanized Program Verification with Separation Logic
Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013
Verification conditions are code
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019