453 search results - page 51 / 91 » Using Symbolic Simulation for Bounded Property Checking |
TCOM
2010
14 years 10 months ago
2010
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
ENTCS
2002
14 years 11 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
104
click to vote
CADE
2005
Springer
16 years 3 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
107
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...