Description
Refinery is a sophisticated framework designed for the automated generation of graphs. It provides tools for modeling with uncertainty, allowing users to explicitly represent unknown or uncertain knowledge within their models. This capability enables the exploration of design alternatives systematically. Refinery combines the mathematical precision of formal logic structures with the expressiveness of graph-based models, ensuring formal correctness and completeness through underlying solver algorithms.
Read More
The framework includes an advanced web-based editor that supports designers with state-of-the-art IDE features and visualization techniques. It can be applied as a simple command-line interface program or deployed on the cloud, offering flexibility in usage. Refinery is equipped with powerful graph algorithms such as incremental query evaluation, efficient graph isomorphism checking, and version-controlled data structures, addressing various modeling and graph processing challenges.
Refinery's diverse applications include scenario generation for testing autonomous vehicles, conformance checking of modeling toolchains, synthesizing distributed communication networks, execution time analysis for data-driven critical systems, and generative architectures with assured resilience. It also offers a video game map generator using model-based techniques. These use cases demonstrate the framework's versatility and potential impact across different industries and domains.
- CategoryMachine Learning & Data Science
- Pricing ModelOpen Source
- DeploymentCloud
- PlatformsWeb
Refinery's Core Features
Automated graph generation
Modeling with uncertainty
Formal logic reasoning
Advanced web-based editor
Incremental query evaluation
Graph isomorphism checking
Version-controlled data structures
Cloud deployment
How to use Refinery?
Configure: Set up graph generation parameters
Use: Generate graphs using the framework
Optimise: Refine models with advanced algorithms
Deploy: Implement on cloud or local systems
Refinery's Use Cases
- Autonomous vehicle testing
- Modeling toolchain conformance
- Distributed network synthesis
- Execution time analysis
- Video game map generation
