Combining symmetry reduction and under-approximation for symbolic model checking
type: Item
instance of: scholarly article
title: Combining symmetry reduction and under-approximation for symbolic model checking
zbMATH Open document ID: 1085.68086
author: Sharon Barner
author: Orna Grumberg
published in: Formal Methods in System Design
publication date: 2006-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5007759
zbMATH Keywords: symmetry reduction
zbMATH Keywords: under-approximation
zbMATH Keywords: symbolic model checking
zbMATH Keywords: hints
describes a project that uses: CESAR
MaRDI profile type: Publication
full work available at URL: s10703-005-2246-x
OpenAlex ID: W2040904498
cites work: Verifying temporal properties without temporal logic
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Q3336675
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: “Sometimes” and “not never” revisited
cites work: Q4494389
cites work: Q2754101
cites work: Q3907077
cites work: Q3940830
DOI: 10.1007/S10703-005-2246-X
description: scientific article; zbMATH DE number 5007759