337 search results - page 33 / 68 » Predicate abstraction for software verification |
126
Voted
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
130
Voted
ICSE
2004
IEEE-ACM
16 years 17 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
127
click to vote
ARCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
119
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
100
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...