- Tytuł:
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
- Autorzy:
-
Alpuente, Maria
Pardo, Daniel
Villanueva, Alicia - Data publikacji:
- 2020
- Słowa kluczowe:
-
contract inference
symbolic execution
abstract subsumption
deductive verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł