Clash detection

Model checking would not be complete without clash detection. Clash detection can be configured as part of a set of model checks, but can also be executed as an API call. Input to the algorthm includes two queries to select what you want to test.

  • Output to BCF
  • Output to JSON
  • Visualization in 3D viewer
  • Configurable epsilon
  • Queries