Specification and verification of object-oriented software components
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
Збережено в:
| Автор: | |
|---|---|
| Формат: | Online |
| Мова: | Німецька |
| Опубліковано: |
KIT Scientific Publishing
2021
|
| Предмети: | |
| Онлайн доступ: | 34687 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Резюме: | This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover. |
|---|