4047 search results - page 53 / 810 » Algebraic Model Checking |
113
Voted
COORDINATION
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
116
click to vote
GCC
2003
Springer
15 years 7 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 ...
110
Voted
SPIN
2005
Springer
15 years 7 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...
121
Voted
STTT
2010
14 years 9 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
113
Voted
QEST
2010
IEEE
15 years 2 days ago
2010
IEEE
