Simulating reachability using first-order logic with applications to verification of linked data structures

DOI10.2168/LMCS-5(2:12)2009zbMath1163.68010MaRDI QIDQ3636811

Greta Yorsh, Tal Lev-Ami, Mooly Sagiv, Siddharth Srivastava, Thomas W. Reps

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verify heaps via unified model checking

This page was built for publication: Simulating reachability using first-order logic with applications to verification of linked data structures