Summary: Automatic translation of PARADIGM models into PLTL-based
programs
Rodolfo Sab´as G´omez
Departamento de Ciencias
e Ingenier´ia de la Computaci´on
Universidad Nacional del Sur
Argentina
rgomez@cs.uns.edu.ar
Juan Carlos Augusto
Department of Electronics
and Computer Science
University of Southampton
United Kingdom
jca@ecs.soton.ac.uk
Abstract
Software systems have evolved from monolythic pro-
grams to systems constructed from parallel, coopera-
tive components, as can be currently found in object-
oriented applications. Although powerfull, these coop-
erative systems are also more difficult to verify.

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

Collections: Computer Technologies and Information Sciences