2873 search results - page 34 / 575 » Model Checking and the Mu-calculus |
CAV
1999
Springer
14 years 2 months ago
1999
Springer
ENTCS
2002
13 years 10 months ago
2002
GCC
2003
Springer
14 years 3 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 ...
SPIN
2005
Springer
14 years 3 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...
ICCD
2005
IEEE
14 years 3 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...