661 search results - page 13 / 133 » What Can We Expect from Program Verification |
126
click to vote
VCIP
2003
15 years 4 months ago
2003
In this paper, we proposed a content-based multimedia analysis/retrieval system basing mainly on the MPEG-7 defined features. Some new and specific features are also included for ...
121
click to vote
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
163
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
243
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
106
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...