|
Match
|
Document |
Document Title |
|
|
7120902 |
Method and apparatus for automatically inferring annotations
A system, method and computer program product for annotating a computer program. The method includes applying a program checking tool to the computer program to produce one or more warnings,...
|
|
|
7058910 |
Invariant checking method and apparatus using binary decision diagrams in combination with constraint solvers
An invariant checking method and apparatus using binary decision diagrams (BDDs) in combination with constraint solvers for determining whether a system property is an invariant of a system...
|
|
|
7024661 |
System and method for verifying computer program correctness and providing recoverable execution trace information
In a system for statically analyzing a specified computer, a verification condition generator converts the program into a logical equation, called a verification condition, and inserts program flow...
|
|
|
6941376 |
System and method for integrating public and private data
A system and method for allowing an Internet user to create a web page which may simultaneously display public and private data as integrated data on one digital screen or other network interface...
|
|
|
6901535 |
Information processing apparatus, defect analysis program, and defect analysis method
The present invention has an display section for displaying an operation state of a program to a user in a time series manner based on program execution history information, an input section for...
|
|
|
6374368 |
Weakest precondition analysis
Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a...
|
|
|
6343372 |
Methods and apparatus for generating a verified algorithm for transforming a program from a first form to a second form
A method of synthesizing an algorithm for transforming a program from a first form to a second form includes first formalizing a language associated with the program to be transformed in accordance...
|
|
|
6275986 |
Compile-time data dependency verification
A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification...
|
|
|
6128774 |
Safe to execute verification of software
A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that...
|