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
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations, Change-of-bases abstractions for non-linear hybrid systems, Context unification with one context variable, 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