Bisimulation minimization and symbolic model checking
type: Item
instance of: scholarly article
title: Bisimulation minimization and symbolic model checking
zbMATH Open document ID: 1018.68052
DOI: 10.1023/A:1016091902809
author: Kathi Fisler
author: Moshe Y. Vardi
published in: Formal Methods in System Design
publication date: 2002-09-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1803024
zbMATH Keywords: bisimulation minimization
zbMATH Keywords: symbolic model checking
zbMATH Keywords: invariant properties
zbMATH Keywords: on-the-fly model checking
describes a project that uses: fc2tools
MaRDI profile type: Publication
full work available at URL: a:1016091902809
OpenAlex ID: W1525386718
description: scientific article; zbMATH DE number 1803024