3 search results - page 1 / 1 » Speeding up symbolic model checking by accelerating dynamic ... |
GLVLSI
2000
IEEE
13 years 9 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
CAV
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
ICDM
2006
IEEE
13 years 10 months ago
2006
IEEE
— Log-linear models are widely used for labeling feature vectors and graphical models, typically to estimate robust conditional distributions in presence of a large number of pot...