CAV 2005 - PDF Preprint Papers

CAV 2005 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2005 Paper

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 6 months ago

Download avispa-project.org

Alessandro Armando, David A. Basin, Yohan Boichut,...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	196	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications	claim
2	173	Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework	claim
3	151	Saturn: A SAT-Based Tool for Bug Detection	claim
4	150	Reasoning About Threads Communicating via Locks	claim
5	144	Romeo: A Tool for Analyzing Time Petri Nets	claim
6	139	The Orchids Intrusion Detection Tool	claim
7	135	Linear Ranking with Reachability	claim
8	133	On Statistical Model Checking of Stochastic Systems	claim
9	129	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking	claim
10	127	Incremental and Complete Bounded Model Checking for Full PLTL	claim
11	122	Interpolant-Based Transition Relation Approximation	claim
12	120	Predicate Abstraction via Symbolic Decision Procedures	claim
13	120	Ymer: A Statistical Model Checker	claim
14	114	The ComFoRT Reasoning Framework	claim
15	114	Bounded Model Checking of Concurrent Programs	claim
16	110	Extended Weighted Pushdown Systems	claim
17	106	Incremental Algorithms for Inter-procedural Analysis of Safety Properties	claim
18	104	Expand, Enlarge and Check... Made Efficient	claim
19	101	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology	claim
20	100	Yet Another Decision Procedure for Equality Logic	claim
21	99	Model Checking x86 Executables with CodeSurfer/x86 and WPDS++	claim
22	99	Automated Assume-Guarantee Reasoning for Simulation Conformance	claim
23	99	Probabilistic Verification for "Black-Box" Systems	claim
24	98	Wolf - Bug Hunter for Concurrent Software Using Formal Methods	claim
25	89	DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic	claim
26	86	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers