Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
Implemented model checker, as well as all remaining functionality of the old e3value tool (find and transaction editor).
Profitability analysis is replaced by sensitivity analysis (essentially an e3value analysis repeated over a range of parameters). This new sensitivity analysis module can use start stimulus OCCURRENCES as well as Market Segment COUNTS as parameters.
Fraud generation is faster (sorter 50x faster), more powerful (supports multiple trusted actors, as well as market segments) and more flexible (heuristics and be toggled and tweaked and sorting can be done on more parameters). In addition, similar models are now grouped and collapsed in order to make navigating the results easier.
New profitability table generation functionality.
However, there are still issues with memory management when performing fraud generation on large models with loose generation heuristics.