862 search results - page 71 / 173 » Model Checking Interrupt-Dependent Software |
ENTCS
2008
13 years 10 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
EWSPT
1995
Springer
14 years 1 months ago
1995
Springer
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...