899 search results - page 90 / 180 » A Temporal Language for SystemC |
111
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
103
click to vote
OTM
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...
113
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
133
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...