8 search results - page 1 / 2 » Verification of qualitative Z constraints |
112
Voted
TCS
2008
15 years 1 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
142
Voted
FTRTFT
1992
Springer
15 years 5 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
82
Voted
FLAIRS
2007
15 years 3 months ago
2007
101
Voted
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
101
Voted
TCS
2002
15 years 22 days ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...