10038 search results - page 164 / 2008 » Model Checking for Managers |
105
click to vote
DATE
2003
IEEE
15 years 9 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
111
click to vote
ISMVL
2003
IEEE
15 years 9 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...