528 search results - page 46 / 106 » Transition Logic Revisited |
124
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
108
click to vote
APAL
2006
15 years 2 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
116
click to vote
VTS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...
124
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
124
click to vote
FUIN
2007
15 years 1 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...