1926 search results - page 92 / 386 » Modeling and Model Checking Software Product Lines |
167
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
187
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
150
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
137
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
193
click to vote
VMCAI
2009
Springer
16 years 26 days 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...