@inproceedings{147243a4f1374b3d88e3655cca7bc648,
title = "Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment",
abstract = "To make verification a manageable part of the system development process, comprehensibility and reusability of properties and proofs is essential. The work reported in this paper contributes formally founded methods that support proof structuring and reuse. Often occurring patterns in agent behaviour can be exploited to establish a library containing properties and proofs. This is illustrated here by verifying the class of single agents acting in dynamic environments. First, a notion of abstraction for properties and proofs is introduced that provides means to structure and clarify verification. Also, the paper contributes to establishing the library by proposing a reusable system of generic co-ordination properties for applications of agents acting in dynamic environments.",
author = "C.M. Jonker and J. Treur and {de Vries}, W.",
year = "2001",
language = "English",
isbn = "3-540-41594-7",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "253--268",
editor = "P. Ciancarini and M.J. Wooldridge",
booktitle = "Proceedings of the the 1st International Workshop on Agent-Oriented Software Engineering (AOSE-2000)",
note = "The First International Workshop on Agent-Oriented Software Engineering (AOSE-2000). ; Conference date: 04-06-2000 Through 11-06-2000",
}