Verifying Dribble Agents

Trang Doan, Brian Logan, Natasha Alechina

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

1 Citation (Scopus)

Abstract

We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branching time temporal logic CTL) which describes transition systems corresponding to a Dribble program, and show how to express properties of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the logic and a correspondence between the operational semantics of Dribble and the models of the logic.
Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies VII
Subtitle of host publication7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
EditorsMatteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd
PublisherSpringer Nature
Pages244-261
Number of pages18
ISBN (Electronic)978-3-642-11355-0
ISBN (Print)978-3-642-11354-3
DOIs
Publication statusPublished - 2009
Externally publishedYes
EventInternational Workshop on Declarative Agent Languages and Technologies - Budapest, Hungary
Duration: 11 May 200911 May 2009
Conference number: 7

Publication series

Name Lecture Notes in Computer Science
Volume5948

Conference

ConferenceInternational Workshop on Declarative Agent Languages and Technologies
Abbreviated titleDALT 2009
CountryHungary
CityBudapest
Period11/05/0911/05/09

Fingerprint Dive into the research topics of 'Verifying Dribble Agents'. Together they form a unique fingerprint.

  • Cite this

    Doan, T., Logan, B., & Alechina, N. (2009). Verifying Dribble Agents. In M. Baldoni, J. Bentahar, M. B. van Riemsdijk, & J. Lloyd (Eds.), Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers (pp. 244-261). ( Lecture Notes in Computer Science ; Vol. 5948). Springer Nature. https://doi.org/10.1007/978-3-642-11355-0_15