checking
RSS checkingShape Analysis Through Predicate Abstraction and Model Checking
White Paper This paper proposes a new framework, based on predicate abstraction and model checking, for shape analysis of programs. Shape analysis is used to statically collect information - such as possible reachability and sharing - about program stores. [07 Apr 2005]
Load Balancing Parallel Explicit State Model Checking
White Paper This paper first identifies some of the key concerns about the techniques and algorithms developed for parallel model checking; specifically, the inherent problem with load balancing and large queue sizes resultant in a static partition algorithm. [10 Jul 2008]
Wireless Mobile Ad-Hoc Network Protocols and Evaluation With Model Checking
White Paper Because they can be deployed quickly, MANETs could be used for disaster rescue, battle field communication, sensor networks, etc.this paper focuses on investigating the specific properties that a wireless routing protocol needs to satisfy... [01 Aug 2007]
Model Checking With Multi-Valued Logics
White Paper In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. This paper presents new algorithms for multi-valued model checking. [07 Apr 2005]
New Type Checking Rules for OCL Expressions
White Paper Despite of the fact that OCL is called a statically typed language its type checking rules are not precisely (enough) defined in the UML standard version 1.3. This paper sketches three different approaches for the definition of modified OCL type... [03 Jul 2008]
Model Checking in IPv6 Hardware Router Design
White Paper This paper contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given. [31 Oct 2004]
Model Checking Networked Programs in the Presence of Transmission Failures
White Paper Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs. [27 Jun 2007]
Abstraction in Software Model Checking: Principles and Practice
White Paper This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software. Abstraction techniques are the methods or algorithms that can be employed to construct abstract systems from... [06 Apr 2005]
The Existence of Finite Abstractions for Branching Time Model Checking
White Paper Abstraction is often essential to verify a program with model checking. Typically, a concrete source program with an infinite (or finite, but large) state space is reduced to a small, finite state, abstract program on which a correctness property... [07 Apr 2005]
Model Checking an Entire Linux Distribution for Security Violations
White Paper Software model checking has become a popular tool for verifying programs' behavior. In this paper, the authors report the experiences with software model checking for security properties on an extremely large scale - an entire Linux distribution... [01 Apr 2007]
Model Checking Large Network Protocol Implementations
White Paper This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique. Network protocols must work. The effects of protocol specification or implementation errors range... [18 Apr 2007]
Static Checking of Dynamically Generated Queries in Database Applications
White Paper The servlet programmer enjoys static checking via Java's strong type system. Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g.can create string representations of SQL... [14 Sep 2006]
Automatic Parameter Checking
White Paper This paper will show that by using standards parts of the SAS system and developing standard naming conventions, the developer can be relieved of the burden of checking parameters. Much of applications development involving the SAS system involves... [12 Sep 2006]
Why Anti-Virus Software is Not Enough: The Urgent Need for Server-Based Email Content Checking
White Paper Examining the different kinds of email attacks that threaten today’s organizations, this paper describes the need for a solid server-based content-checking gateway to safeguard your business against email viruses and attacks. [25 Feb 2004]
Refinement Via Consistency Checking in MDA
White Paper This paper outlines ongoing work on providing a precise definition for refinement via consistency checking, not only in the context of MDA, but more generally for model-driven development in a variety of domains. [22 Feb 2005]
