Document Search Results

Newest Citations Relevance

Zhang, Hanliang; David, Cristina; Yu, Yijun; Wang, Meng

Ownership guided C to Rust translation. (English) Zbl 07798111

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 459-482 (2023).

MSC: 68N15

Cite Review PDF

Full Text: DOI arXiv

OA License

Amilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidström, Christian; Rümmer, Philipp

Automatic program instrumentation for automatic verification. (English) Zbl 07798103

MSC: 68N30 68Q60

Cite Review PDF

Full Text: DOI arXiv

OA License

Blicha, Martin; Britikov, Konstantin; Sharygina, Natasha

The Golem Horn solver. (English) Zbl 07787554

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 209-223 (2023).

MSC: 68V15 68Q60

Cite Review PDF

Full Text: DOI

OA License

Zavalía, Lucas; Chernigovskaia, Lidiia; Fedyukovich, Grigory

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).

MSC: 68Q60 03B70 68Q65

Cite Review PDF

Full Text: DOI

Pearce, David J.; Utting, Mark; Groves, Lindsay

Verifying Whiley programs with Boogie. (English) Zbl 1512.68059

J. Autom. Reasoning 66, No. 4, 747-803 (2022).

MSC: 68N30 68Q60 68V15

Cite Review PDF

Full Text: DOI

OA License

Faella, Marco; Parlato, Gennaro

Reasoning about data trees using CHCs. (English) Zbl 1514.68045

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 249-271 (2022).

MSC: 68P05 03B70

Cite Review PDF

Full Text: DOI

OA License

Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020).

MSC: 68N30 68N18 68Q60

Cite Review PDF

Full Text: DOI arXiv

OA License

Found 7 Documents (Results 1–7)

Ownership guided C to Rust translation. (English) Zbl 07798111

Automatic program instrumentation for automatic verification. (English) Zbl 07798103

The Golem Horn solver. (English) Zbl 07787554

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Verifying Whiley programs with Boogie. (English) Zbl 1512.68059

Reasoning about data trees using CHCs. (English) Zbl 1514.68045

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software