3457 search results - page 92 / 692 » A Symbol Is Not a Symbol |
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
108
click to vote
ESOP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
We present a symbolic algorithm for strongly connected component decomposition. The algorithm performs (n log n) image and preimage computations in the worst case, where n is the n...
91
Voted
AIPS
2004
15 years 2 months ago
2004
Symbolic non-deterministic planning represents action effects as sets of possible next states. In this paper, we move toward a more probabilistic uncertainty model by distinguishi...
91
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...