2836 search results - page 58 / 568 » Model Checking for Software Architectures |
146
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
157
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
129
click to vote
ICSE
2003
IEEE-ACM
15 years 8 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
114
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
110
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...