Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic.

Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma

Browse the full AINA paper archive.