222
Voted
VMCAI
16 years 22 days ago
2004 Springer 
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
212
Voted
VMCAI
16 years 22 days ago
2004 Springer 
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
210
Voted
VMCAI
16 years 22 days ago
2004 Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
208
click to vote
VMCAI
16 years 22 days ago
2004 Springer 
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
207
click to vote
VMCAI
16 years 22 days ago
2004 Springer 
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
|
Software Engineering