Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge

Abstract : A considerably large class of multi-agent systems operate in distributed and real-time environments, and often their correctness specifications require us to express time-critical properties that depend on performed actions of the system. In the paper, we focus on the formal verification of such systems by means of the bounded model checking (BMC) method, where specifications are expressed in the existential fragment of the Real-Time Computation Tree Logic augmented to include standard epistemic operators.
Type de document :
Communication dans un congrès
David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.164-178, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_13〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527383
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 12:48:55
Dernière modification le : mercredi 24 mai 2017 - 14:18:01
Document(s) archivé(s) le : lundi 28 août 2017 - 17:12:52

Fichier

978-3-642-28038-2_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Bożena Woźna-Szcześniak. Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.164-178, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_13〉. 〈hal-01527383〉

Partager

Métriques

Consultations de la notice

43

Téléchargements de fichiers

12