An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

Data publikacji: 24 gru 2018

Zakres stron: 159 - 164

Przyjęty: 29 cze 2018

DOI: https://doi.org/10.2478/forma-2018-0013

Słowa kluczowe

Floyd-Hoare logic, Floyd-Hoare triple, inference rule, program verification

© 2018 Ievgen Ivanov et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.