Search results

Feature request: Support for quantifiers

Status: Open.

#30 In ModelChecker/moxi-mc-flow;

· Po-Chun-Chien opened on Oct 9, 2024

Exceeding Python recursion limit during JSON validation

Status: Open.

#29 In ModelChecker/moxi-mc-flow;

· Po-Chun-Chien opened on Oct 9, 2024

Result of model checking with moxi does not match nuXmv

Status: Open.

#28 In ModelChecker/moxi-mc-flow;

· BLuedtke opened on Sep 17, 2024

Fully implement SMV module forward declarations

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 26, 2024

Support Reals

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 26, 2024

Add option to manually set logic in SMV to MoXI translation

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 24, 2024

Fix full witness generation for AVR+Pono

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 23, 2024

Implement IC3 option for model checkers

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 23, 2024

Implement datatypes in sort checker

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 23, 2024

Implement assert in MoXI sort checker

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In ModelChecker/moxi-mc-flow;

· cgjohannsen opened on Jul 23, 2024