199 search results - page 30 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
158
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
169
click to vote
ATVA
2006
Springer
15 years 7 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...
132
click to vote
SIGIR
1996
ACM
15 years 8 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
133
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
116
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...