1860 search results - page 177 / 372 » A Temporal Logic of Robustness |
93
Voted
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
86
Voted
CHARME
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
101
Voted
DLOG
2008
15 years 3 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
91
Voted
JNCA
2007
15 years 21 days ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
90
Voted
ASPDAC
2010
ACM
14 years 11 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...