about 'verification'

Books and proceedings

  1. M. Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, volume 56. Springer-Verlag New York Inc, 2010.


  1. Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, Italy, 2005.

Articles in journal, book chapters

  1. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Program verification using constraint handling rules and array constraint generalizations. Fundamenta Informaticae, 150(1):73-117, 2017.
  2. M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3):325-361, 2010.
  3. Maurizio Gabbrielli and Maria Chiara Meo. A compositional semantics for CHR. TOCL, 10(2):1-36, February 2009. [doi:10.1145/1462179.1462183] Keyword(s): semantics.
  4. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007.
  5. Beata Sarna-Starosta, R. E. Kurt Stirewalt, and Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Intl. Journal of Softw. Engin. and Knowl. Engin., 17(2):207-230, 2007. [doi:10.1142/S0218194007003197] Keyword(s): applications, testing.
  6. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-based Software Tool. Applied Artificial Intelligence, 20(2--4):133-157, 2006.

Conference articles

  1. David Fabian and Radek Marìk. Configuration Dynamics Verification Using UPPAAL. In 15 th International Configuration Workshop, pages 35, 2013.
  2. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  3. Nikolai Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management, volume 4369 of LNCS, pages 25-37, 2006. SV.
  4. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.
  5. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In H. Haddad and others, editors, SAC '04: Proc. 19th ACM Symp. Applied Computing, pages 72-78, March 2004. ACM. Keyword(s): applications, verification.
  6. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction using Social Integrity Constraints. In LCMAS'03: Logic and Communication in Multi-Agent Systems, volume 85(2) of ENTCS, pages 94-116, 2004. Elsevier.

Internal reports

  1. Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. Technical report CW 541, KULCW, Leuven, Belgium, April 2009. [WWW] Keyword(s): termination .