scientific article

zbMath1274.68077MaRDI QIDQ2861570

Stéphane Le Roux, Fabrizio Marinelli, Leo Liberti, Jeremy Leconte

Publication date: 8 November 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571065310001678

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Mathematical programming: Turing completeness and applications to software analysis

Uses Software

• CPLEX

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive versions of Tarski's fixed point theorems
• A lattice-theoretical fixpoint theorem and its applications
• Polymorphic Fractional Capabilities
• Branching and bounds tighteningtechniques for non-convex MINLP
• On the Convergence of Policy Iteration in Stationary Dynamic Programming
• Optimization of Lyapunov Invariants in Verification of Software Systems
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Static Analysis by Policy Iteration on Relational Domains
• Precise Fixpoint Computation Through Strategy Iteration

This page was built for publication: