411 search results - page 11 / 83 » Timed Alternating-Time Temporal Logic |
ISSE
2007
13 years 10 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
TCS
2008
13 years 10 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
AAI
2010
13 years 5 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...