×

Found 6 Documents (Results 1–6)

Newest Citations Relevance
Böhme, Sascha; Moskal, Michał

Heaps and data structures: a challenge for automated provers. (English) Zbl 1341.68182

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 177-191 (2011).
MSC:  68T15 68P05
Cite Review PDF
Full Text: DOI
Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.

Extending Sledgehammer with SMT solvers. (English) Zbl 1314.68271

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 116-130 (2011).
MSC:  68T15
Cite Review PDF
Full Text: DOI
Leino, K. Rustan M.

Dafny: an automatic program verifier for functional correctness. (English) Zbl 1253.68095

Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 – May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 348-370 (2010).
MSC:  68N30 68Q60
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Volume

Year of Publication

Main Field

all top 3

Software