Search results

Website ltsmin.utwente.nl broken images

Status: Open.

#227 In utwente-fmt/ltsmin;

· trolando opened on Nov 21, 2024

Failing test in make check (with Sylvan)

Status: Open.

#225 In utwente-fmt/ltsmin;

· jacopol opened on Oct 30, 2024

(Possibly?) Unsound Partial Order Reduction

Status: Open.

#222 In utwente-fmt/ltsmin;

· sjudson opened on Jan 26, 2024

Segmentation Fault in pnml2lts-mc

Status: Open.

#215 In utwente-fmt/ltsmin;

· jacopol opened on Nov 16, 2023

a question about PTS

Status: Open.

#214 In utwente-fmt/ltsmin;

· yin99 opened on Nov 15, 2023

question about example sokoban

Status: Open.

#213 In utwente-fmt/ltsmin;

· yin99 opened on Aug 25, 2023

Extracting Buchi Automata from PINS

Status: Open.

#212 In utwente-fmt/ltsmin;

· JakeGinesin opened on Aug 17, 2023

how to install ltsmin？

Status: Open.

#211 In utwente-fmt/ltsmin;

· yin99 opened on Aug 17, 2023

make & make install error: multiple definitions for "rank" and "scc_stack"

Status: Open.

#210 In utwente-fmt/ltsmin;

· sim365 opened on Jun 22, 2023

Issues with LTL traces in MT context

Status: Open.

#209 In utwente-fmt/ltsmin;

· yanntm opened on Jun 20, 2023

Can ltsmin read the SMV format file?

Status: Open.

#207 In utwente-fmt/ltsmin;

· gipsyh opened on May 29, 2023

Installation instructions step by step

Status: Open.

#206 In utwente-fmt/ltsmin;

· jacopol opened on Sep 7, 2022