Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898613
DOI10.1007/11609773zbMATH Open1176.68051OpenAlexW2496613029MaRDI QIDQ5898613FDOQ5898613
Authors: Sriram Sankaranarayanan, Michael A. Colón, Henny B. Sipma, Zohar Manna 
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
Recommendations
- Relational queries computable in polynomial time
- Polynomial queries to relational data bases
- Publication:4728265
- An algorithm for handling many relational calculus queries efficiently.
- The complexity of evaluating relational queries
- Faster algorithms for alternating refinement relations
- Efficient Approximations of Conjunctive Queries
- scientific article; zbMATH DE number 3980481
Cited In (20)
- Efficient SAT-based bounded model checking for software verification
- Title not available (Why is that?)
- Tropical linear-fractional programming and parametric mean payoff games
- Linear absolute value relation analysis
- Alloy*: a general-purpose higher-order relational constraint solver
- The Abstract Domain of Parallelotopes
- On the efficiency of convex polyhedra
- Abstract interpretation meets convex optimization
- Polynomial approximations of the relational semantics of imperative programs
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- A note on the inversion join for polyhedral analysis
- Finding Relevant Templates via the Principal Component Analysis
- Change-of-bases abstractions for non-linear hybrid systems
- The two variable per inequality abstract domain
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
- Symbolic analysis of linear hybrid automata -- 25 years later
- A change-based heuristic for static analysis with policy iteration
- Revisiting polyhedral analysis for hybrid systems
- Generalizing the template polyhedral domain
This page was built for publication: Verification, Model Checking, and Abstract Interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898613)
