Aligators for Arrays (Tool Paper)

DOI10.1007/978-3-642-16242-8_25zbMath1306.68143OpenAlexW1570664277MaRDI QIDQ4933316

Laura Kovács, Thibaud Hottelier, Andrey Rybalchenko, Thomas A. Henzinger

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_25

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Verifying Array Manipulating Programs with Full-Program Induction

Uses Software

• Mathematica
• Valigator
• z3
• OCaml
• Aligators
• InvGen

This page was built for publication: Aligators for Arrays (Tool Paper)