337 search results - page 16 / 68 » Predicate abstraction for software verification |
89
Voted
CC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
103
click to vote
ICFP
2003
ACM
16 years 12 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
103
click to vote
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
119
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...