411 search results - page 10 / 83 » Algebraic Imperative Specifications |
VLDB
1987
ACM
15 years 3 months ago
1987
ACM
104
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
CORR
2009
Springer
14 years 9 months ago
2009
Springer
ECEASST
2010
14 years 9 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
ADAEUROPE
2001
Springer
15 years 4 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...