Linear Functional Fixed-points

DOI10.1007/978-3-642-02658-4_13zbMath1242.68062OpenAlexW2146079376MaRDI QIDQ3636857

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) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

DKAL and Z3: A Logic Embedding Experiment

Uses Software

• z3

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