3224 search results - page 278 / 645 » On Checking Model Checkers |
165
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
157
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
146
click to vote
FSEN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
187
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
172
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...