Sciweavers

Share
FIDJI
2003
Springer

Model Generation for Distributed Java Programs

10 years 1 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems, representing the communication events between the distributed objects. When combined with es for abstracting the data values used by the programs, and especially values used in the creation of distributed objects, to bounded domains, our construction terminates. We provide models suitable for automatic verification, and typically for model checking. Moreover our models are structured in a compositionnal way, so that we can use verification techniques that scale up to applications of realistic size.
Rabéa Boulifa, Eric Madelaine
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FIDJI
Authors Rabéa Boulifa, Eric Madelaine
Comments (0)
books