Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework (Q4988925)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Abstract contract synthesis and verification in the symbolic K framework |
scientific article; zbMATH DE number 7350033
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework |
scientific article; zbMATH DE number 7350033 |
Statements
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (English)
0 references
20 May 2021
0 references
contract inference
0 references
symbolic execution
0 references
abstract subsumption
0 references
deductive verification
0 references
0.9356695413589478
0 references
0.7229343056678772
0 references
0.7067056894302368
0 references
0.7059221267700195
0 references
0.7025529742240906
0 references
