Uploading IC3 Models

First, upload an APK or the output of IC3 (output to a binary protocol buffer format).
Then display the model as graph or sunburst.

    Visualizing Android Models: Graph or SunBurst

    A default APK will be used in case you didn't submit one in the first step.