A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
[chapter]
2010
Specification and Verification of Multi-agent Systems
This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports specification of both qualitative and quantitative aspects, and subsumes languages based on differential equations and temporal logics. TTL has a high expressivity and normal forms that enable automated analysis. Software environments for performing verification of TTL specifications have been developed. TTL proved its value in a number of domains.
doi:10.1007/978-1-4419-6984-2_11
fatcat:bmxubbqbwjabbo7dy6oxzxhweq