@inproceedings{7103472b21144aa19da0b24e945d5442,
title = "Coarse-granular model checking in practice",
abstract = "In this paper, we illustrate the power of 'classical' iterative model checking for verifying quality of service requirements at the coarse granular level. Characteristic for our approach is the library-based modelling of applications in terms of service logic graphs, the incremental formalization of the underlying application domain in terms of temporal quality of service constraints, and the library-based consistency checking allowing continuous verification of application- and purpose-specific properties by means of model checking. This enables application experts to safely configure their own applications without requiring any specific knowledge about the underlying technology. The impact of this approach will be demonstrated in three orthogonal industrial application scenarios.",
author = "Bernhard Steffen and Tiziana Margaria and Volker Braun",
year = "2001",
doi = "10.1007/3-540-45139-0_20",
language = "English",
isbn = "3540421246",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "304--311",
editor = "Matthew Dwyer",
booktitle = "Model Checking Software - 8th International SPIN Workshop, Proceedings",
note = "8th International SPIN Workshop on Model Checking Software, SPIN 2001 ; Conference date: 19-05-2001 Through 20-05-2001",
}