Search Results for "steam model checking" - Page 3
Sort By:
Showing 85 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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
KnowledgenCommitment
knowledge and commitment Model checking
knowledge and commitment Model checking -
2
ReBAC Java Library
ReBAC library for java development
Java library for Relationship Based Access Control (ReBAC). Provides a general framework creating ReBAC policies and model checking. Also provides tools for testing. Obtain latest version as a Maven Dependency: <dependency> <groupId>ca.ucalgary.ispia</groupId> <artifactId>rebac</artifactId> <version>0.1.7</version> </dependency> -
3
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,... -
4
* 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
-
$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.
-
5
-
6
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... -
7
-
8
NuSMV With CePRe
Counterexample-Preserving Reduction
A tool based on NuSMV2.5.3 to implement the counterexaple-preserving reduction symbolic model checking technique. -
9
HPeak
A HMM-based algorithm for defining enriched regions from ChIP-seq data
HPeak is a hidden Markov model-based approach that can accurately pinpoint regions to where significantly more sequence reads map. Testing on real data shows that these regions are indeed highly enriched by the right protein binding sites. Command (single-end): perl /compbio/software/HPeak3/HPeak.pl -sp HUMAN/MOUSE -format BED -t TREATMENT.inp -c CONTROL.inp -n OUTPUTPREFIX -fmin 100 -fmax 300 -r 36 -ann -wig -seq -interfiles Command (pair-end): perl /compbio/software/HPeak3/HPeak.pl... -
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
BehT
Behavioral Types for use with Eclipse
Behavioral types for model-based development comprise ab- stract behavioral aspects of the models they are associated with. Behavioral types allow checking that a model fulfills these behavioral aspects. Furthermore, as types can be re- lated with each other, they support more complex checks and guarantees like compatibility in composition and refinement of models in a model based development process. -
11
ENuSMV-1.2
Extend NuSMV
ENuSMV-1.2 (extends from NuSMV-2.5.4) is a model checking tool that supporting both BDD-based and bounded model checking of ETL employing both finite and looping acceptance automata connectives. -
12
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. -
13
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... -
14
-
15
LTL[e] model checker
An LTL[e] model checker for EVENT-B model as Rodin plugins.
An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library) -
16
Checks given webpages for backlinks and scans for image links and keywords. Uses DOM-based methods to scan for backlinks, which are more sophisticated than simple text scanning (one example: they ignore commented out source code).
-
17
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.
-
18
-
19
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.
-
20
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
-
21
StAFi is a tool for quantitative analysis of computational fields via stochastic model checking. Current version requires to have the PRISM probabilistic model checker installed.
-
22
StAfFi is a tool for quantitative analysis of computational fields via stochastic model checking. Current version requires to have the PRISM probabilistic model checker installed.
-
23
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.
-
24
-
25
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
