2 search results - page 1 / 1 » Secure and Optimal Base Contraction in Graded Lukasiewicz Lo... |
CCIA
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
SAC
2010
ACM
14 years 7 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...