Spanning the spectrum from safety to liveness
type: Item
instance of: scholarly article
title: Spanning the spectrum from safety to liveness
zbMATH Open document ID: 1408.68096
author: Rachel Faran
author: Orna Kupferman
published in: Acta Informatica
publication date: 2018-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6992508
MaRDI profile type: Publication
full work available at URL: s00236-017-0307-4
OpenAlex ID: W2913012649
cites work: Defining liveness
cites work: Recognizing safety and liveness
cites work: Q4817533
cites work: An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
cites work: Q4038703
cites work: The complexity of probabilistic verification
cites work: A Framework for Ranking Vacuity Results
cites work: Alternative semantics for temporal logics
cites work: An Antichain Algorithm for LTL Realizability
cites work: Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
cites work: Q4472252
cites work: Space-bounded reducibility among combinatorial problems
cites work: Q4118602
cites work: Q5351957
cites work: Model checking of safety properties
cites work: On Bounded Specifications
cites work: Decision problems forω-automata
cites work: Q4002642
cites work: Q4131648
cites work: Q2754094
cites work: Safety, liveness and fairness in temporal logic
cites work: The complexity of propositional linear temporal logics
cites work: Depth-First Search and Linear Graph Algorithms
cites work: Reasoning about infinite computations
DOI: 10.1007/S00236-017-0307-4
description: scientific article; zbMATH DE number 6992508