8 search results - page 1 / 2 » Verification of qualitative Z constraints |
92
Voted
TCS
2008
14 years 10 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...
118
Voted
FTRTFT
1992
Springer
15 years 2 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...
FLAIRS
2007
15 years 17 days ago
2007
84
Voted
ICCAD
2008
IEEE
15 years 7 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...
76
Voted
TCS
2002
14 years 10 months 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...