scientific article; zbMATH DE number 1368925

zbMath0979.68554MaRDI QIDQ4702568

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno

Publication date: 17 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

debuggingprogram validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (13)

Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ An Integrated Approach to Assertion-Based Random Testing in Prolog ⋮ VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Practical run-time checking via unobtrusive property caching ⋮ Description and Optimization of Abstract Machines in a Dialect of Prolog ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ Testing your (static analysis) truths

Uses Software

• Mercury

This page was built for publication: