Search results

[Improvement] Warn about the use of ModelBase members during model construction

enhancement

Status: Open.

#23 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] WPF-based visualization framework

enhancement

Status: Open.

#22 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Warn about subcomponents that are never updated

enhancement

Status: Open.

#21 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Counter example generation

enhancement

Status: Open.

#20 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Support custom serializers

enhancement

Status: Open.

#19 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Support port forwarding

enhancement

Status: Open.

#18 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Improve LTL model checking

enhancement

Status: Open.

#17 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Add support for CTL model checking

enhancement

Status: Open.

#16 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Increase modeling flexibility of fault effects

enhancement

Status: Open.

#15 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Dynamic memory allocation during model checking

enhancement

Status: Open.

#14 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Performance] Optimize serialization of object references

enhancement

Status: Open.

#13 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016

[Improvement] Debugger might affect nondeterminism

enhancement

Status: Open.

#12 In isse-augsburg/ssharp;

· axel-habermaier opened on Nov 24, 2016