PPI Analysis Report

General Info

time of analysis	mercredi 31 mai 2017 19:30
model	TPSINERGIE
user	jean-francoispetin

Sum Up

Falsifiable

Tasks

Preuves.P1
Node	Preuves
Output	P1
Strategy	Default - Prove
Result	Falsifiable
Scenario	scenarios/Preuves.P1_s0.sss \| [Load Scenario]
Translation time	0 s
Analysis time	0 s
Total time	0 s
Assertions	none
Messages	none