Fuzzy set abstraction

DOI10.1016/j.entcs.2018.03.003OpenAlexW2807177244WikidataQ113317577 ScholiaQ113317577MaRDI QIDQ2130563

Jacob Lidman, Josef Svenningsson

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.003

zbMATH Keywords

abstract interpretationstatic program analysisdynamic program analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Newtonian program analysis
• Nonnegative Least-Mean-Square Algorithm
• Convergence of Newton’s Method over Commutative Semirings
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Fuzzy set abstraction