Automata, Languages and Programming
From MaRDI portal
Publication:5466534
DOI10.1007/b99859zbMath1099.68022MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations, What else is undecidable about loops?, Change-of-bases abstractions for non-linear hybrid systems, Context unification with one context variable, Intensional Kleene and Rice theorems for abstract program semantics, Algebra-based synthesis of loops and their invariants (invited paper), Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem, Computing polynomial program invariants, Generating all polynomial invariants in simple loops, Region Analysis for Race Detection, Invariant Checking for Programs with Procedure Calls, Inferring Congruence Equations Using SAT