Towards Model-Checking Programs with Lists

DOI10.1007/978-3-642-03092-5_6zbMath1258.68094OpenAlexW1489868945MaRDI QIDQ3644794

Arnaud Sangnier, Etienne Lozes, Alain Finkel

Publication date: 12 November 2009

Published in: Infinity in Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03092-5_6

Mathematics Subject Classification ID

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

Related Items (3)

Model-checking CTL* over flat Presburger counter systems ⋮ Reasoning about sequences of memory states ⋮ Taming past LTL and flat counter systems

Uses Software

• TREX

This page was built for publication: Towards Model-Checking Programs with Lists