6608 search results - page 68 / 1322 » On the Completeness of Model Checking |
72
Voted
CAV
1999
Springer
15 years 5 months ago
1999
Springer
74
Voted
ENTCS
2002
15 years 19 days ago
2002
128
Voted
ENTCS
2007
15 years 23 days ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
97
Voted
GCC
2003
Springer
15 years 6 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 ...
101
click to vote
SPIN
2005
Springer
15 years 6 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...