verification

White Papers

Reusable Verification Environment for Verification of Ethernet Packet in Ethernet IP Core, a Verification Strategy-an Analysis

November 1, 2008 12:00am PDT

Design reuse and verification reuse are important to satisfy time-to-market requirements. Designer must be able to reuse Intellectual Property in the design as golden model. Reuse of verification...

Provided by: Dr.M.G.R University

White Papers

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems With Finiteness

October 21, 2009 12:00am PDT

The complexity of distributed real-time systems is growing rapidly; model-based development tools are used to accelerate the development process and increase the quality of the produced code. In...

Provided by: TECHNICAL UNIVERSITY OF MUNICH

White Papers

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

June 28, 2011 12:00am PDT

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save...

Provided by: Hindawi Publishing

White Papers

Highly Dependable Concurrent Programming Using Design for Verification

April 3, 2006 12:00am PDT

There has been significant progress in automated verification techniques based on model checking. However, scalable software model checking remains a challenging problem. The authors believe that...

Provided by: UC Regents

White Papers

Hardware Solutions to the Challenges of Multimedia IP Functional Verification

February 17, 2010 12:00am PST

This paper discusses the functional verification of IP cores and problems which arise during their implementation in today's advanced applications. First, the usual approach to functional...

Provided by: Evatronix

White Papers

Improving Intrusion Detection Through Alert Verification

January 1, 2009 12:00am PST

Intrusion Detection Systems (IDS) suffer from a lack of scalability. Alert correlation has been introduced to address this challenge and is generally considered to be the major part of the...

Provided by: Katholieke Universiteit Leuven

White Papers

A Query Verification Scheme for Dynamic Outsourced Databases

January 1, 2012 12:00am PST

Recently, Kyriakos et al. proposed a Partially Materialized Digest scheme (PMD). Their scheme uses separate indexes for the data and the verification information to realize the authenticity and...

Provided by: Academy Publisher

White Papers

A Translation-Based Approach to the Verification of Modular Equivalence

August 10, 2007 12:00am PDT

In this paper, a method for verifying the equivalence of logic program modules under a Gaifman-Shapiro-style module architecture is proposed. The idea is to adapt a translation-based verification...

Provided by: Helsinki University of Technology

White Papers

DyTa: Dynamic Symbolic Execution Guided With Static Verification Results

May 28, 2011 12:00am PDT

Software-defect detection is an increasingly important research topic in software engineering. To detect defects in a program, static verification and dynamic test generation are two important...

Provided by: Association for Computing Machinery

White Papers

Verification of String Manipulating Programs Using Multi-Track Automata

August 11, 2009 12:00am PDT

Verification of string manipulation operations is a crucial problem in computer security. The authors present a new symbolic string verification technique that can be used to prove that...

Provided by: UC Regents

White Papers

Design and Verification of On-Chip Communication Protocols

April 15, 2008 12:00am PDT

Modern computer systems rely more and more on on-chip communication protocols to exchange data. To tackle performance requirements these protocols have become highly complex, which makes their...

Provided by: University of Oxford

White Papers

Distributed, Multi-Threaded Verification of Java Programs

January 1, 2008 12:00am PST

Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than...

Provided by: Concordia University

Blog Posts

Use BrowserID for email address validation

February 5, 2012 8:34pm PST

If handling email address verification sounds like too much hard work, then BrowserID could be the registration solution that you are after.

White Papers

Diagram-Based Verification of Real-Time Systems Using Timed Predicate Diagrams

December 1, 2006 12:00am PST

Computers are frequently used in critical applications where predictable response times are essential for correctness. Such systems are called real-time systems and are a class of reactive...

Provided by: Parahyangan Catholic University

White Papers

Efficient Microprocessor Verification Using Antecedent Conditioned Slicing

November 16, 2006 12:00am PST

The author presents a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardware...

Provided by: Intel

White Papers

Verification and Validation in GERAM Framework for Modeling of Information Systems

October 1, 2011 12:00am PDT

The main aim of this paper is to propose a methodology for using verification and validation tools in a framework for modeling of an Industrial Enterprise Information Systems. The first part of...

Provided by: International Journal of Scientific & Engineering Research

White Papers

The CleanJava Language for Functional Program Verification

August 1, 2011 12:00am PDT

Unlike Hoare-style program verification, functional program verification supports forward reasoning by viewing a program as a mathematical function from one program state to another and proving...

Provided by: University of Texas

White Papers

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

July 18, 2011 12:00am PDT

With formal techniques becoming more and more powerful, the next big challenge is making software verification practical and usable. The Eve verification environment contributes to this goal by...

Provided by: ETH Zurich

White Papers

Using Debuggers to Understand Failed Verification Attempts

January 10, 2011 12:00am PST

Automatic program verification allows programmers to detect program errors at compile time. When an attempt to automatically verify a program fails the reason for the failure is often difficult to...

Provided by: ETH Zurich

White Papers

Practical Verification Techniques for Wide-Area Routing

January 1, 2011 12:00am PST

Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "Correct" operation of BGP....

Provided by: Massachusetts Institute of Technology