Search Results for "steam model checking"
Sort By:
Showing 28 open source projects for "steam model checking"
View related business solutions-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
BIMserver
The open source BIMserver platform
The Building Information Model server (short: BIMserver) enables you to store and manage the information of a construction (or other building related) project. Data is stored in the open data standard IFC. The BIMserver is not a fileserver, but it uses a model-driven architecture approach. This means that IFC data is stored as objects. You could see BIMserver as an IFC database, with special extra features like model checking, versioning, project structures, merging, etc. ... -
2
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. Unlike SQL, Mangle’s declarative syntax naturally supports recursion and modular program structure, making it suitable for representing hierarchical or interconnected datasets like dependency graphs or knowledge graphs. ... -
3
dsh-routing-suite
dsh-routing-suite — injector + router-standard kit
...Its injector can add, hot-reload, promote, remove, and repair routes without restarting the runtime. The included router presets choose among planning, execution, weak self-classification, and deeper reasoning behaviors based on the task and model. Near-field guidance is injected after user messages to keep routing focused and resist drift. Static anchors reinforce recall, convergence, and staying on task during longer work. The suite also exposes developer tools for checking router state, changing modes, and launching mode-specific subagents. -
4
KServe
Standardized Serverless ML Inference Platform on Kubernetes
KServe provides a Kubernetes Custom Resource Definition for serving machine learning (ML) models on arbitrary frameworks. It aims to solve production model serving use cases by providing performant, high abstraction interfaces for common ML frameworks like Tensorflow, XGBoost, ScikitLearn, PyTorch, and ONNX. It encapsulates the complexity of autoscaling, networking, health checking, and server configuration to bring cutting edge serving features like GPU Autoscaling, Scale to Zero, and Canary Rollouts to your ML deployments. ... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
QFramework
Unity3D System Design Architecture
...The ISystem interface helps IController undertake part of the logic, logic shared in multiple presentation layers, such as timing system, mall system, achievement system, etc. Data layer: Model layer. The IModel interface is responsible for the definition of data and the provision of methods for adding, deleting, checking and modifying data. -
6
Prompt Declaration Language
Prompt Declaration Language is a declarative prompt programming lang
LLMs will continue to change the way we build software systems. They are not only useful as coding assistants, providing snipets of code, explanations, and code transformations, but they can also help replace components that could only previously be achieved with rule-based systems. Whether LLMs are used as coding assistants or software components, reliability remains an important concern. LLMs have a textual interface and the structure of useful prompts is not captured formally. Programming... -
7
Gorse Recommender System Engine
An open source recommender system service written in Go
...Provide GUI for data management, system monitoring, and cluster status checking. Gorse is an open-source recommendation system written in Go. Gorse aims to be a universal open-source recommender system that can be easily introduced into a wide variety of online services. By importing items, users and interaction data into Gorse, the system will automatically train models to generate recommendations for each user. -
8
NOTE: The GROOVE codebase has moved to https://github.com/nl-utwente-groove
-
9
cerberuscms2
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text, Voice and Video Communications Platform and Content... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
libgwyfile
Read and write Gwyddion GWY files
Libgwyfile is a small, embeddable library for reading and writing of Gwyddion GWY files as foreign data. This means independently of Gwyddon and without adopting its data object model. -
11
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
12
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
13
tcomb
Type checking and DDD for JavaScript
tcomb is a JavaScript library for defining and checking runtime types in Node.js and browser environments. It gives developers a concise syntax for modeling values, structures, interfaces, enums, unions, refinements, and other domain-level constraints. The library is useful in JavaScript projects where static type information is unavailable or insufficient at runtime. It can validate external inputs, document data expectations, and support safer programming patterns without requiring a full... -
14
How good is your software? jmove eases the understanding and valuation of the design and architecture of complex software written in java. It provides dependency analysis, metrics, design rule checking and impact analysis.
-
15
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
16
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
17
JetBrains MPS
JetBrains Meta programming System
MPS (Meta Programming System) is an advanced language workbench and integrated development environment created by JetBrains that lets developers define, compose, and use domain-specific languages (DSLs) with rich tooling support. Unlike traditional text editors that treat code as plain text, MPS represents programs as structured models, enabling projectional editing where syntax, constraints, and semantics of DSLs are enforced by the editor itself, reducing parsing ambiguities and expanding... -
18
ESpin
SPIN-based Eclipse Model Checking Plugin
ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN. -
19
UPPAAL PARMOS
A tool for parametric model checking of UPPAAL models.
UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster. UP is expandable through the use of plug-ins, with regards to both types of computing resources and search... -
20
This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.
-
21
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
-
22
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
-
23
Charmy is a tool for specification of Software Architectures through diagrammatic, UML-based notations, and validation of the architectural specification conformance with respect to functional requirements.
-
24
MCC is a UML model consistency checker, built as a plug-in for Poseidon for UML, based on description logics. Provides automated consistency checking of UML models.
-
25
Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
