A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems [chapter]

A. Sharpanskykh, J. Treur
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