414 search results - page 14 / 83 » Inheritance of Temporal Logic Properties |
138
Voted
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
141
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
111
click to vote
ENTCS
2006
15 years 3 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
159
Voted
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
126
click to vote
JLP
2008
15 years 3 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...