A symbolic semantics for abstract model checking
type: Item
instance of: scholarly article
title: A symbolic semantics for abstract model checking
zbMATH Open document ID: 0966.68115
DOI: 10.1016/S0167-6423(00)00015-0
author: Francesca Levi
published in: Science of Computer Programming
publication date: 2001-02-11T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1563576
zbMATH Keywords: \(\mu\)-calculus model checking
MaRDI profile type: Publication
full work available at URL: s0167-6423(00)00015-0
OpenAlex ID: W2629744581
Recommended article: Q4217928
Recommended article: Q4503923
Recommended article: Symbolic and Structural Model-Checking
Recommended article: Symbolic model checking with rich assertional languages
Recommended article: Automated Technology for Verification and Analysis
Recommended article: Symbolic Model Checking in Non-Boolean Domains
Recommended article: Q4737589
Recommended article: Eager abstraction for symbolic model checking
Recommended article: Q4440828
description: scientific article; zbMATH DE number 1563576