2836 search results - page 100 / 568 » Model Checking for Software Architectures |
160
Voted
COMPSAC
2010
IEEE
15 years 12 days ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
149
Voted
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
144
Voted
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
167
Voted
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
112
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...