5707 search results - page 284 / 1142 » Symbolic Simulation - Techniques and Applications |
169
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
165
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
198
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
175
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
214
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...