444 search results - page 3 / 89 » Automated Logical Verification Based on Trace Abstractions |
ACSD
2004
IEEE
15 years 3 months ago
2004
IEEE
IJCAI
2003
15 years 1 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
73
Voted
DAC
2003
ACM
16 years 19 days ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
DAC
2007
ACM
16 years 20 days ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
76
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...