Static analysis with dioids and polynomial ideals
URL: https://theses.hal.science/tel-00881301
Dataset description:
Static analysis aims to verify that programs behave correctly i.e. satisfy safety properties. However, generating properties verified by a program is a difficult problem :...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 9, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 3 weeks ago |
| Id | 8db3a70c-4d8c-47aa-8315-17098b37b834 |
| Package id | oai-hal-tel-00881301v1 |
| Resource type | HTML |
| State | active |
