Prophesy UI
Working...
Error occured:
Error value not set
(0.00, 0.00)
Input
Upload Prism
Upload result
Select result
Path to prism file:
Path to PCTL file:
Run with:
No tool available
Upload
Path to result file:
Run with:
pstorm
param
Upload
Result file:
Load
Sampling
Manual Sampling
Auto Sampling
Add samples by mouse clicks
Check New
Sampling number:
Number of iterations:
Iteration type:
Linear interpolation
Delaunay triangulation
Go
Constraints
Manual Constraints
Auto Constraints
Add constraints by mouse clicks
Check for safe
Check for bad
Check New
Clear current
Constraint type:
Planes
Growing rectangles
Quadrants
Generate
Settings
Threshold:
0.5
Sampler:
No sampler available
SMT Solver:
No solver available
Info
Rational Function
Not loaded