Verifying Temporal Heap Properties Specified via Evolution Logic

DOI10.1093/jigpal/jzl009zbMath1108.68077OpenAlexW2101572430MaRDI QIDQ3424121

No author found.

Publication date: 15 February 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl009

zbMATH Keywords

verificationfirst-order logictemporal logicabstract interpretation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Using Unified Model Checking to Verify Heaps ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Verify heaps via unified model checking ⋮ Kleene's Logic with equality

This page was built for publication: Verifying Temporal Heap Properties Specified via Evolution Logic