This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two ...

Sep 10, 2003 · Abstract. Java event spaces are partial orders of memory and thread actions as generated by a multi-threaded Java program in execution.

This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two ...

This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two ...

This paper presents the formalization of an algorithm for slicing Java event spaces in PVS. In short, Java event spaces describe how multi-threaded Java ...

This paper presents the formalization of an algorithm for slicing Java event spaces in PVS. In short, Java event spaces describe how multi-threaded Java ...

Slicing Event Spaces: Towards a Java Programs Checking Framework. 59-74. view ... Towards the verification of real-time systems in avionics: the Cotre approach.

Slicing Event Spaces: Towards a Java Programs Checking Framework Nestor Catano. 12.00, An Overview of JML Tools and Applications Lilian Burdy et al. 12.30 ...

Slicing Event Spaces: Towards a Java Programs Checking Framework. Electronic ... Towards the verification of real-time systems in avionics: the Cotre approach.

This paper shows how standard tech- niques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two ...