Publications
Found 2 results
Filters: Author is Eduard Kamburjan [Clear All Filters]
, “Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects”, ArXiv E-Print 2102.10127: https://doi.org/10.48550/arXiv.2102.10127. ArXiv, pp. 1-12, 2021.
, “Deductive Verification of Programs with Underspecified Semantics by Model Extraction”, ArXiv E-Print 2110.01964: https://doi.org/10.48550/arXiv.2110.01964. ArXiv, pp. 1-31, 2021.