Search Sciweavers | Sciweavers

337 search results - page 7 / 68

» Predicate abstraction for software verification

102

click to vote

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

15 years 2 months ago

Download www.cs.toronto.edu

e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

Voted

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

14 years 10 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

102

Voted

DAC
2006
ACM

130views Computer Architecture» more DAC 2006»

Predicate learning and selective theory deduction for a difference logic solver

16 years 1 months ago

Download www.nec-labs.com

Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...

Chao Wang, Aarti Gupta, Malay K. Ganai

claim paper

Read More »

Voted

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 5 months ago