Slicing software for model construction
type: Item
instance of: scholarly article
title: Slicing software for model construction
zbMATH Open document ID: 0972.68021
DOI: 10.1023/A:1026599015809
author: John Hatcliff
author: Matthew B. Dwyer
author: Hongjun Zheng
published in: Higher-Order and Symbolic Computation
publication date: 2001-02-11T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1563916
zbMATH Keywords: finite-state verification
MaRDI profile type: Publication
Recommended article: Q3829963
Recommended article: Slicing for architectural analysis
Recommended article: A formal framework for incremental model slicing
Recommended article: Q5086245
description: scientific article; zbMATH DE number 1563916