Automatic software model checking via constraint logic

DOI10.1016/j.scico.2004.01.006zbMath1091.68071OpenAlexW2074500093MaRDI QIDQ1887740

Cormac Flanagan

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/3wx5f1gt

zbMATH Keywords

Model checkingProgram verificationConstraint logic

Mathematics Subject Classification ID

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

Related Items (3)

Query-Based Model Checking of Ad Hoc Network Protocols ⋮ CPBPV: a constraint-programming framework for bounded program verification ⋮ Test case generation for object-oriented imperative languages in CLP

Uses Software

• SIMPLIFY
• ESC/Java

This page was built for publication: Automatic software model checking via constraint logic