alex-rantos/System-Validation

A system validation model written in Promela