2875 search results - page 43 / 575 » Model checking agentspeak |
116
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
106
Voted
CAV
1999
Springer
15 years 9 months ago
1999
Springer
140
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
134
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...