Bridging static and dynamic program analysis using fuzzy logic

DOI10.4204/EPTCS.250.7MaRDI QIDQ7021643zbMATH OpenFDO

Authors Jacob Lidman, Josef Svenningsson

Publication date 26 February 2025

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4204/EPTCS.250.7

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• \(k\)-\(l_p\)-Lipschitz t-norms
• A Systematic Approach to Probabilistic Pointer Analysis
• Abstract interpretation
• Fuzzy sets and systems. Theory and applications
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1472777 (Why is no real title available?)
• Probabilistic data flow analysis: a linear equational approach
• Some comments on interval valued fuzzy sets

This page was built for publication: Bridging static and dynamic program analysis using fuzzy logic

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