Automata, Languages and Programming
From MaRDI portal
Publication:5466534
DOI10.1007/b99859zbMath1099.68022OpenAlexW2505584480MaRDI QIDQ5466534
Markus Müller-Olm, Helmut Seidl
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99859
Related Items
Computing polynomial program invariants, Change-of-bases abstractions for non-linear hybrid systems, What else is undecidable about loops?, Inferring Congruence Equations Using SAT, Generating all polynomial invariants in simple loops, Algebra-based synthesis of loops and their invariants (invited paper), An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations, Unnamed Item, Region Analysis for Race Detection, Invariant Checking for Programs with Procedure Calls, Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem, Context unification with one context variable, Intensional Kleene and Rice theorems for abstract program semantics
