[−][src]Module stateright::explorer

A web service for interactively exploring a model.

Stateright Explorer screenshot

API summary:

GET / returns a web browser UI as HTML.
GET /.status returns information about the model checker status.
GET /.states returns available initial states and fingerprints.
GET /.states/{fingerprint1}/{fingerprint2}/... follows the specified path of fingerprints and returns available actions with resulting states and fingerprints.
GET /.states/.../{invalid-fingerprint} returns 404.

Structs