2203 search results - page 166 / 441 » Temporal Abstract Interpretation |
106
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
136
Voted
CLIMA
2008
15 years 5 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
79
Voted
FLAIRS
2000
15 years 5 months ago
2000
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
125
Voted
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
127
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...