Static analysis for state-space reductions preserving temporal logics
type: Item
instance of: scholarly article
title: Static analysis for state-space reductions preserving temporal logics
zbMATH Open document ID: 1073.68055
author: Karen Yorav
author: Orna Grumberg
published in: Formal Methods in System Design
publication date: 2004-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 2100123
zbMATH Keywords: static analysis
zbMATH Keywords: path reduction
zbMATH Keywords: (partially) dead variable reduction
zbMATH Keywords: temporal logic preservation
describes a project that uses: veriSoft
MaRDI profile type: Publication
full work available at URL: b:form.0000033963.55470.9e
OpenAlex ID: W2010609147
DOI: 10.1023/B:FORM.0000033963.55470.9E
Recommended article: Formal Methods for Open Object-Based Distributed Systems
Recommended article: Q4417927
Recommended article: Static Analysis for Logic-Based Dynamic Programs
Recommended article: Q3704886
Recommended article: Reachability for Finite-State Process Algebras Using Static Analysis
Recommended article: Q4037084
Recommended article: Constructive Finite Trace Analysis with Linear Temporal Logic
Recommended article: Q3972532
description: scientific article; zbMATH DE number 2100123