2623 search results - page 148 / 525 » Hoare Logic in the Abstract |
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
CJ
2010
14 years 10 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
DLOG
2009
14 years 7 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
EUSFLAT
2009
14 years 7 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
EUSFLAT
2009
2009
Continuity and Additivity of the Trapezoidal Approximation Preserving the Expected Interval Operator
14 years 7 months ago
Abstract-- The nearest trapezoidal fuzzy number to a fuzzy number, with respect to a well-known metric and preserving the expected interval, was determined in recent articles. In t...