488 search results - page 18 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICCAD
2008
IEEE
15 years 8 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...
158
click to vote
ARTS
1999
Springer
15 years 3 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
ICIP
1999
IEEE
16 years 18 days ago
1999
IEEE
Wepresent a method for personal authentication based on deformable matching of hand shapes. Authentication systems are already employed in domains that require some sort of user v...
137
click to vote
JSC
2010
14 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
119
Voted
CADE
2008
Springer
15 years 11 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...