1167 search results - page 157 / 234 » A Really Temporal Logic |
109
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
147
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
122
click to vote
REX
1991
15 years 5 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
111
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...