12981 search results - page 222 / 2597 » Model Checking (Abstract) |
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
103
click to vote
ISMVL
2003
IEEE
15 years 8 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
140
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...