A deductive reasoning approach for database applications using verification conditions
Deductive verification has gained paramount attention from both academia and industry. Although intensive research in this direction covers almost all mainstream languages, the research community has paid little attention to the verification of database applications. This paper proposes a comprehens...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | article |
| Language: | eng |
| Published: |
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/74655 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/74655 |