Context-Sensitive Multivariant Assertion Checking in Modular Programs
From MaRDI portal
Publication:5387906
DOI10.1007/11916277_27zbMath1165.68411OpenAlexW1557126436MaRDI QIDQ5387906
Paweł Pietrzak, Jesús Correas, Manuel V. Hermenegildo, Germán Puebla
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14338/
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items
An overview of Ciao and its design philosophy ⋮ VeriFly: On-the-fly Assertion Checking via Incrementality
Uses Software