Abstract | ||
---|---|---|
The aim of the CoIn approach (Component-Interaction Automata approach) is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling
purpose, we use the Component-interaction automata language [1]. For the verification, we employ a parallel model-checker DiVinE [2], which is able to handle very large, hence
more realistic, models of component-based systems. Verified properties, like consequences of service calls or fairness of
communication, are expressed in an extended version of the Linear Temporal Logic CI-LTL.
|
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-85289-6_7 | Dagstuhl Seminars |
Keywords | Field | DocType |
extended version,component-interaction automata approach,coin approach,behavioural aspect,linear temporal logic ci-ltl,verified property,component-based system,formal analysis,component-interaction automatalanguage,large scale,verification,linear temporal logic | Quantum finite automata,Automata theory,Mobile automaton,Automaton,Linear temporal logic,Theoretical computer science,Composition operator,Mathematics | Conference |
Volume | ISSN | Citations |
5153 | 0302-9743 | 14 |
PageRank | References | Authors |
0.78 | 6 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
B. Zimmerova | 1 | 98 | 6.19 |
P. Vařeková | 2 | 94 | 6.41 |
Nikola Beneš | 3 | 94 | 12.24 |
Ivana Cerná | 4 | 250 | 17.48 |
Lubos Brim | 5 | 701 | 57.70 |
Jiri Sochor | 6 | 119 | 11.85 |