1536 search results - page 134 / 308 » The Underlying Logic of Hoare Logic |
130
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
155
click to vote
EURODAC
1990
IEEE
15 years 10 months ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...
214
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
170
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
124
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...