Formalizing and Reasoning about Quality

DOI10.1007/978-3-642-39212-2_3MaRDI QIDQ5327419zbMATH OpenOpenAlexFDO

Authors Shaull Almagor, Udi Boker, Orna Kupferman

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39212-2_3

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formally reasoning about quality
• Quality assurance of computing systems by formal development methods
• A formal basis for reasoning on programmable QoS
• A realistic involvement of formal methods
• Qualitative methods for reasoning under uncertainty

Cited in

(16)

• Latticed-LTL synthesis in the presence of noisy inputs
• Faster algorithms for quantitative verification in bounded treewidth graphs
• Stochastization of weighted automata
• Inherent vacuity in lattice automata
• Synthesis with rational environments
• Formally reasoning about quality
• Averaging in LTL
• Verification of systems with degradation
• A quantitative approach for linear temporal logic based on finite transition systems
• Multi-Valued Reasoning about Reactive Systems
• Bidirectional nested weighted automata
• Discounting in LTL
• On high-quality synthesis
• Specifiable robustness in reactive synthesis
• Decoupled fitness criteria for reactive systems
• Fair quantitative games

This page was built for publication: Formalizing and Reasoning about Quality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327419)