788 search results - page 4 / 158 » Symbolic Equivalence Checking |
146
Voted
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
179
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
125
Voted
ISQED
2009
IEEE
15 years 12 months ago
2009
IEEE
137
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
149
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...