949 search results - page 27 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
110
Voted
CSEE
2000
Springer
15 years 6 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
133
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
118
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
138
click to vote
JSC
2006
15 years 2 months ago
2006
In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...
110
click to vote
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...