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.
Sparad:
| Huvudupphov: | |
|---|---|
| Materialtyp: | Online |
| Språk: | tyska |
| Utgiven: |
KIT Scientific Publishing
2021
|
| Ämnen: | |
| Länkar: | 34687 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
Liknande verk: Specification and verification of object-oriented software components
- Automated Reasoning with Analytic Tableaux and Related Methods
- Fundamental Approaches to Software Engineering
- Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
- Computer Aided Verification
- Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings