411 search results - page 39 / 83 » Algebraic Imperative Specifications |
169
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
161
click to vote
SAM
2004
15 years 7 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
151
click to vote
PE
2000
Springer
15 years 5 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
145
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
144
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...