2836 search results - page 66 / 568 » Model Checking for Software Architectures |
116
Voted
PRDC
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
123
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
100
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
131
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
158
Voted
WCET
2010
15 years 1 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...