Automatic software model checking via constraint logic
type: Item
instance of: scholarly article
title: Automatic software model checking via constraint logic
zbMATH Open document ID: 1091.68071
author: Cormac Flanagan
published in: Science of Computer Programming
publication date: 2004-11-22T00:00:00Z
full work available at URL: 3wx5f1gt
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2117397
zbMATH Keywords: Model checking
zbMATH Keywords: Constraint logic
zbMATH Keywords: Program verification
describes a project that uses: ESC/Java
describes a project that uses: SIMPLIFY
MaRDI profile type: Publication
OpenAlex ID: W2074500093
DOI: 10.1016/J.SCICO.2004.01.006
Recommended article: Q5447361
Recommended article: Q4417894
Recommended article: Q2723913
Recommended article: Q2722046
Recommended article: Constraint-based deductive model checking
Recommended article: Model checking LTL using constraint programming
Recommended article: Symbolic model checking of software
description: scientific article; zbMATH DE number 2117397