Search results
Results from the WOW.Com Content Network
Dedicated to modeling and testing of communicating systems. Based on ITU-T Z.109 UML profile, SDL-RT, SDL. The model can be simulated and can be exported to model checking tools. Full testing environment integrated based on TTCN-3. Prosa UML Modeller: Yes Yes Open modelbase Yes C++ Java, C#, SQL DDL and SQL queries
A list of verification and synthesis tools (public domain repository on GitHub) A list of verification tools for probabilistic, stochastic, hybrid, and timed systems; Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies.
The Toolkit for Conceptual Modeling (TCM) is a collection of software tools to present specifications of software systems in the form of diagrams, tables, trees, and the like. TCM offers editors for techniques used in Structured Analysis as well as editors for object-oriented (UML) techniques.
Building agent-based market simulation models for price forecasting of real-world stocks and other securities Altreva; Utrecht, Netherlands Proprietary; free evaluation version available for research and experimentation (some limitations but no expiration) No programming skills required.
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems. Next to the free System Dynamics library, which is exclusively based on modeling signal flows, there is a free Business Simulation Library (BSL) dedicated to System Dynamics, which makes use of Modelica's acausal ...
Given a transformation between input and output values, described by a mathematical function, optimization deals with generating and selecting the best solution from some set of available alternatives, by systematically choosing input values from within an allowed set, computing the output of the function and recording the best output values found during the process.
The Open Energy Modelling Initiative (openmod) is a grassroots community of energy system modellers from universities and research institutes across Europe and elsewhere. The initiative promotes the use of open-source software and open data in energy system modelling for research and policy advice. The Open Energy Modelling Initiative documents ...
GAMS is designed for modeling and solving linear, nonlinear, and mixed-integer optimization problems. The system is tailored for complex, large-scale modeling applications and allows the user to build large maintainable models that can be adapted to new situations. The system is available for use on various computer platforms.