Program correctness proof
A

Program correctness proof

Algorithms
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Author
C. Rustan M. Leino
Publisher
DMK Press
Year
2024
Language
Russian
181
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Introduction to Programming and Data Structures

Introduction to Programming and Data Structures

Katy Fischler, Sriram Krishnamurthy, Benjamin S. Lerner, Joe Gibbs Politz

Python. The Definitive Guide

Python. The Definitive Guide

David Beasley

Stylish Java. Code That Works Always and Everywhere

Stylish Java. Code That Works Always and Everywhere

Marco Faella

How to Design Programs. An Introduction to Programming and Computing

How to Design Programs. An Introduction to Programming and Computing

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Functional Programming in Python. A Guide to Development with Stack Overflow Community Examples

Functional Programming in Python. A Guide to Development with Stack Overflow Community Examples

David Mertz, L. Klyman

C Programming Language

C Programming Language

Brian Kernighan, Dennis Ritchie

Kotlin. Design Patterns and Best Practices, 3rd ed.

Kotlin. Design Patterns and Best Practices, 3rd ed.

Alexey Soshin

Programming Methods in Problems and Examples in C/C++

Programming Methods in Problems and Examples in C/C++

V. D. Valedinsky, A. A. Kornev

Python. The Complete Guide

Python. The Complete Guide

Koltsov D. M.

Competitive Programming. The New Lower Bound of Programming Contests

Competitive Programming. The New Lower Bound of Programming Contests

Steven Halim, Felix Halim