Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68113OpenAlexW2739785336MaRDI QIDQ5899075

Stefan Kiefer, Stefan Schwoon, Javier Esparza

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Constraint solving for interpolation ⋮ Budget-bounded model-checking pushdown systems ⋮ Interpolation-Based GR(1) Assumptions Refinement ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Common knowledge does not have the Beth property ⋮ Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains ⋮ Accelerating Interpolation-Based Model-Checking ⋮ Automatically Refining Abstract Interpretations ⋮ Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Uses Software

• MOPED

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems