toolset

Add contextual information to “The rate of a Markovian transition is zero or negative.” error.

#74 · created Apr 04, 2019 by Hans van der Laan
updated Apr 04, 2019
Add reference to QComp on Modest Sample Page

#72 · created Apr 04, 2019 by Hans van der Laan
updated Apr 04, 2019
Duplicate properties get skipped silently

#71 · created Mar 21, 2019 by Hans van der Laan
- 3
updated Mar 21, 2019
Add initial/deadlock/absorbing atomic properties to explored states

#68 · created Mar 13, 2019 by Hans van der Laan feature mcsta modes
updated Mar 17, 2019
Evaluate use of Roaring Bitmaps for bitsets

#65 · created Mar 11, 2019 by Arnd Hartmanns feature mcsta
updated Mar 11, 2019
State space export: include rates of Markovian transitions

#64 · created Mar 11, 2019 by Arnd Hartmanns feature mcsta
updated Mar 11, 2019
Tau (τ) shown as 't' on windows

#63 · created Mar 07, 2019 by Hans van der Laan
updated Mar 07, 2019
Recursive process calls fails because of too strict checking

#57 · created Feb 21, 2019 by Hans van der Laan improvement
updated Feb 25, 2019
mosta: dot sometimes fails with full state labels

#55 · created Feb 07, 2019 by Arnd Hartmanns bug mosta
updated Feb 07, 2019
Implement support for array equality comparisons

#54 · created Nov 07, 2018 by Arnd Hartmanns feature
updated Nov 07, 2018
Use NetworkCompilerHelper instead of compiling manually in motest

#51 · created Jul 08, 2018 by Arnd Hartmanns improvement motest
updated Jul 08, 2018
Transform STA models that are actually MA into real MA models with rates

#50 · created Jun 16, 2018 by Arnd Hartmanns feature mcsta moconv modes
updated Jun 16, 2018
Support for expected rate rewards in Markov automata model checking

#49 · created Jun 16, 2018 by Arnd Hartmanns feature mcsta
updated Jun 16, 2018
Support for safety LTL fragment

#46 · created Apr 11, 2018 by Arnd Hartmanns feature
- 2
- 1
updated Apr 11, 2018
Support more than one initial state

#45 · created Mar 12, 2018 by Michaela Klauck improvement
- 5
- 1
updated Mar 12, 2018
Support complex initial state specifications

#44 · created Mar 12, 2018 by Michaela Klauck improvement
updated Mar 12, 2018
Licensing

#43 · created Mar 06, 2018 by Michaela Klauck
- 7
- 1
updated Mar 26, 2018
Make interval arithmetic handle empty intervals gracefully

#42 · created Feb 27, 2018 by Gereon Fox improvement
- 2
- 1
updated Feb 28, 2018
Move code formatting rules to solution / project files 1 of 3 checklist items completed

#41 · created Jan 25, 2018 by Felix Freiberger improvement
- 5
updated Mar 07, 2018
String Representation of States in mcsta Scheduler

#31 · created Jan 03, 2018 by Gregory Stock improvement mcsta modes
- 8
- 1
updated Dec 18, 2018

Prev
1
2
3
Next