Search results

Error with N+1 syntax (ULTIMATE integration)

Status: Open.

#13 In gerasimou/EvoChecker;

· Brendan-DH opened on Aug 26, 2025

State labels in CLI execution

Status: Open.

#12 In gerasimou/EvoChecker;

· Brendan-DH opened on May 15, 2025

Problem with parsing anonymous action rewards and state rewards in DTMCs

Status: Open.

#8 In gerasimou/EvoChecker;

· ytzemih opened on Jan 15, 2021

Using an LTL property as a constraint doesn't work

Status: Open.

#7 In gerasimou/EvoChecker;

· ytzemih opened on Nov 24, 2020

Problems when parsing guards in reward structures

Status: Open.

#6 In gerasimou/EvoChecker;

· ytzemih opened on Nov 20, 2020

Supporting more Prism language constructs

Status: Open.

#4 In gerasimou/EvoChecker;

· gerasimou opened on Nov 20, 2020