3028 search results - page 42 / 606 » Integrating Temporal Logics |
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
TIME
2003
IEEE
14 years 3 months ago
2003
IEEE
TIME
2009
IEEE
14 years 4 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
ICMCS
1994
IEEE
14 years 2 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
APIN
2002
13 years 9 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...