32032 search results - page 79 / 6407 » Verified programming in Guru |
119
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
150
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
141
Voted
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
112
click to vote
APN
2003
Springer
15 years 9 months ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
102
Voted
GI
2001
Springer
15 years 8 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...