4047 search results - page 372 / 810 » Algebraic Model Checking |
158
click to vote
ICFP
2003
ACM
16 years 1 days ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...
171
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
172
Voted
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
214
click to vote
TSE
2011
15 years 1 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...