2875 search results - page 162 / 575 » Model checking agentspeak |
FDL
2003
IEEE
15 years 6 months ago
2003
IEEE
120
Voted
IAW
2003
IEEE
15 years 6 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...
87
Voted
ISMVL
2003
IEEE
15 years 6 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...
68
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
118
Voted
MEMOCODE
2003
IEEE
15 years 6 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...