Linear Functional Fixed-points

DOI10.1007/978-3-642-02658-4_13MaRDI QIDQ3636857zbMATH OpenOpenAlexFDO

Authors Nikolaj Bjørner, Joe Hendrix

Publication date 30 June 2009

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02658-4_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• "Fixed points and the stability of the linear functional equations in a single variable"
• Fixed points and stability of functional equations
• Fixed points in functional inequalities
• scientific article; zbMATH DE number 3857544
• scientific article; zbMATH DE number 3110452
• scientific article; zbMATH DE number 3842573
• Linear functional-differential equations on the line
• Linear functional equations on the line
• The linearity of fixed point invariants

Cited in

(1)

• DKAL and Z3: a logic embedding experiment

Describes a project that uses

Uses Software

• z3

This page was built for publication: Linear Functional Fixed-points

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