Related Work:

In order to show that the PSC language is sufficiently expressive for the specification of real system properties, we refer to the specification pattern system introduced by the Kansas State University. Dwjer et al. define a repository with the intent of collecting patterns that occur commonly in the specification of concurrent and reactive systems. The patterns are defined for various logics and specification formalisms and we refer to the mappings for property patterns in LTL. Thus, the main related work is: property specification patterns.

Paola ::©www.di.univaq.it/inverard
Marco ::©www.di.univaq.it/marco.autili
Patrizio ::©www.di.univaq.it/pellicci
::last modified: 10th Sep 2005