690 search results - page 12 / 138 » Testing Temporal Logic Properties in Distributed Systems |
192
Voted
WRLA
2010
15 years 28 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
122
click to vote
JCS
2006
15 years 2 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
110
click to vote
ENTCS
2007
15 years 2 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
177
Voted
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
109
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...