Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by...
Sparad:
| Huvudupphov: | |
|---|---|
| Materialtyp: | Online |
| Språk: | engelska |
| Utgiven: |
KIT Scientific Publishing
2021
|
| Ämnen: | |
| Länkar: | 35259 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
Liknande verk: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- Automated Deduction – CADE 28
- Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
- Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification-based software-fault detection
- Computer Aided Verification