The small model property: How small can it be?
type: Item
instance of: scholarly article
title: The small model property: How small can it be?
zbMATH Open document ID: 1012.03040
DOI: 10.1016/S0890-5401(02)93175-5
author: Amir Pnueli
author: Yoav Rodeh
author: Ofer Strichman
author: Michael Siegel
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1853293
describes a project that uses: CVT
MaRDI profile type: Publication
cites work: Solvable cases of the decision problem
cites work: Q4804887
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q4818814
cites work: Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
cites work: BDD based procedures for a theory of equality with uninterpreted functions
cites work: The code validation tool (CVT). Automatic verification of a compilation process
full work available at URL: s0890-5401(02)93175-5
OpenAlex ID: W2021915358
description: scientific article; zbMATH DE number 1853293