Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
913
Assertion checking unified
, 2006
"... This paper establishes an interesting connection between assertion checking in programs and unification in the theory underlying the program expressions. Using this connection, we describe how unification algorithms from theorem proving can be used to perform backward analysis over programs for asse ..."
Abstract
-
Cited by 5 (3 self)
- Add to MetaCart
This paper establishes an interesting connection between assertion checking in programs and unification in the theory underlying the program expressions. Using this connection, we describe how unification algorithms from theorem proving can be used to perform backward analysis over programs
Performance Assertion Checking
, 1992
"... Performance assertion checking is an approach to describing and monitoring the performance of complex software systems. The idea is simple: system implementors write assertions that capture their expectations for performance, the system is instrumented to collect performance data, and then the asser ..."
Abstract
-
Cited by 42 (2 self)
- Add to MetaCart
Performance assertion checking is an approach to describing and monitoring the performance of complex software systems. The idea is simple: system implementors write assertions that capture their expectations for performance, the system is instrumented to collect performance data
Differential Assertion Checking
"... Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making the results of current program analysis more relevant. In this paper, we describe the approach of differential assertion checking (DAC) for comparing different versions of ..."
Abstract
-
Cited by 10 (2 self)
- Add to MetaCart
Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making the results of current program analysis more relevant. In this paper, we describe the approach of differential assertion checking (DAC) for comparing different versions
Sufficient preconditions for modular assertion checking
- In: VMCAI’08. LNCS
, 2008
"... Abstract. Assertion checking is the restriction of program verification to validity of program assertions. It encompasses safety checking, which is program verification of safety properties, like memory safety or absence of overflows. In this paper, we consider assertion checking of program parts in ..."
Abstract
-
Cited by 15 (0 self)
- Add to MetaCart
Abstract. Assertion checking is the restriction of program verification to validity of program assertions. It encompasses safety checking, which is program verification of safety properties, like memory safety or absence of overflows. In this paper, we consider assertion checking of program parts
An Assertion Checking Wrapper Design for Java
- IOWA STATE UNIVERSITY
, 2003
"... The Java Modeling Language allows one to write formal behavioral specifications for Java classes in structured comments within the source code, and then automatically generate run-time assertion checks based on such a specification. Instead of placing the generated assertion checking code directly i ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
The Java Modeling Language allows one to write formal behavioral specifications for Java classes in structured comments within the source code, and then automatically generate run-time assertion checks based on such a specification. Instead of placing the generated assertion checking code directly
Assertion Checking Unified (Full Version)
"... Abstract. We revisit the connection between equality assertion check-ing in programs and unification that was recently described in [8]. Using a general formalization of this connection, we establish interesting con-nections between the complexity of assertion checking in programs and unification th ..."
Abstract
- Add to MetaCart
Abstract. We revisit the connection between equality assertion check-ing in programs and unification that was recently described in [8]. Using a general formalization of this connection, we establish interesting con-nections between the complexity of assertion checking in programs and unification
Assertion Checking of Cyclic Behavioral Descriptions
"... Abstract — In order to confront the verification of more and more complex Systems, several Design-for-Verification methodologies (DFV) have been proposed. One of them, Assertion-based Verification (ABV) has recently emerged as the functional verification methodology capable of keeping pace with incr ..."
Abstract
- Add to MetaCart
with increasingly complex systems. This paper presents an ABV technique that automatically searches for counter-examples that violate user specified assertions in behavioral descriptions of hardware systems. The main contribution of this work is an assertion checking algorithm that allows applying interval
Modular Automatic Assertion Checking with Separation Logic
, 2005
"... Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe a tool, Smallfoot, for checking certain lightweight separation logic specifications. The assertions describe the shapes of data structures rather than their detailed contents, and th ..."
Abstract
-
Cited by 163 (6 self)
- Add to MetaCart
Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe a tool, Smallfoot, for checking certain lightweight separation logic specifications. The assertions describe the shapes of data structures rather than their detailed contents
Runtime Assertion Checking Using JML
, 2003
"... this paper do not necessarily reflect the views of the NSF ..."
Results 1 - 10
of
913
