×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Matsushita, Yusuke; Tsukada, Takeshi; Kobayashi, Naoki

RustHorn: CHC-based verification for Rust programs. (English) Zbl 1508.68071

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, 484-514 (2020).
MSC:  68N30 68Q60
Cite Review PDF
Full Text: DOI arXiv
OA License
Jacobs, Swen; Kuncak, Viktor

Towards complete reasoning about axiomatic specifications. (English) Zbl 1317.68117

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 278-293 (2011).
MSC:  68Q60 68N18 68Q65
Cite Review PDF
Full Text: DOI
de Moura, Leonardo; Bjørner, Nikolaj

Bugs, moles and skeletons: symbolic reasoning for software development. (English) Zbl 1291.68377

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 400-411 (2010).
MSC:  68T15
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

all top 3

Software