CAV 2005 | Sciweavers

21

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

14 years 5 months ago

Download www.sei.cmu.edu

Sagar Chaki, James Ivers, Natasha Sharygina, Kurt ...

claim paper

Read More »

33

click to vote

CAV
2005
Springer

99views Hardware» more CAV 2005»

Automated Assume-Guarantee Reasoning for Simulation Conformance

14 years 5 months ago

Download www.cs.cmu.edu

Abstract. We address the issue of efﬁciently automating assume-guarantee reasoning for simulation conformance between ﬁnite state systems and speciﬁcations. We focus on a non...

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...

claim paper

Read More »

36

click to vote

CAV
2005
Springer

135views Hardware» more CAV 2005»

Linear Ranking with Reachability

14 years 5 months ago

Download theory.stanford.edu

We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

claim paper

Read More »

36

click to vote

CAV
2005
Springer

99views Hardware» more CAV 2005»

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++

14 years 5 months ago

Download www.cs.wisc.edu

This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...

Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd,...

claim paper

Read More »

41

click to vote

CAV
2005
Springer

196views Hardware» more CAV 2005»

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

14 years 5 months ago