4962 search results - page 232 / 993 » Stochastic Model Checking |
DATE
2003
IEEE
14 years 3 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
FDL
2003
IEEE
14 years 3 months ago
2003
IEEE
IAW
2003
IEEE
14 years 3 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
ISMVL
2003
IEEE
14 years 3 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
14 years 3 months ago
2003
IEEE
