Promela

concept

Propriétés