PPI Analysis Report

General Info

Time of analysis	Tuesday, June 05, 2018 12:16:54
Model	TPSINERGIE
User	petin6

Sum Up

Valid

Tasks

Preuves.P2
Node	Preuves
Output	P2
Strategy	Default - Prove
Result	Valid
Translation time	0 s
Analysis time	0 s
Total time	0 s
Assertions	none
Messages	none