309 search results - page 43 / 62 » Model Checking Games for Branching Time Logics |
107
Voted
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
85
Voted
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
104
Voted
TIME
2006
IEEE
15 years 3 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
65
Voted
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...