Context-Sensitive Multivariant Assertion Checking in Modular Programs
From MaRDI portal
Publication:5387906
DOI10.1007/11916277_27zbMath1165.68411MaRDI QIDQ5387906
Manuel V. Hermenegildo, Jesús Correas, Germán Puebla, Paweł Pietrzak
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/
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items
Uses Software