Search Results for "temporal logic"
Sort By:
Showing 20 open source projects for "temporal logic"
View related business solutions-
La version gratuite d'Auth0 s'enrichit !Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Temporal Inference Engine
A real time inference engine for temporal logical specifications
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software... -
2
SDK .NET
Temporal .NET SDK
Temporal is a distributed, scalable, durable, and highly available orchestration engine used to execute asynchronous, long-running business logic in a scalable and resilient way. "Temporal .NET SDK" is the framework for authoring workflows and activities using .NET programming languages. -
3
Yampa
Functional Reactive Programming domain-specific language
Yampa is a Functional Reactive Programming (FRP) library for Haskell, specifically designed for modeling hybrid systems that involve both continuous and discrete time behaviors, such as games, simulations, robotics, and reactive systems. Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. It is grounded in strong... -
4
Pelican
Static site generator that supports Markdown and reST syntax
Pelican is a static site generator that requires no database or server-side logic. Chronological content (e.g., articles, blog posts) as well as static pages. Integration with external services. Site themes (created using Jinja2 templates). Publication of articles in multiple languages. Generation of Atom and RSS feeds. Code syntax highlighting via Pygments. Import existing content from WordPress, Dotclear, or RSS feeds. Fast rebuild times due to content caching and selective output writing... -
Comet Backup - Fast, Secure Backup Software for MSPsComet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
-
5
Galatea: Multi-agent simulations
DEVs with Multi-agent Simulation Platform
GALATEA: Glider with Autonomous, Logic-based Agents, TEmporal reasoning and Abduction. GALATEA is a family of languages to model multi-agent systems to be simulated in a DEVS, multi-agent platform. GALATEA is software to model and simulate multi-agent systems. It is the product of two lines of research: simulation languages based on Zeigler's theory of simulation and logic-based agents. There is, in GALATEA, a proposal to integrate, in the same simulation platform, conceptual and concrete... -
6
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
7
MonPoly
A monitor for MFOTL specifications
MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch... -
8
The Temporal Logic Planning (TuLiP) Toolbox is a collection of Python-based code for automatic synthesis of correct-by-construction embedded control software. The source repository, issue tracking, and most developer-oriented tools have been moved to GitHub, https://github.com/tulip-control/tulip-control/
-
9
heartdroid
HeaRTDroid is a rule inference engine for Android and desktop
Key features are: Inference support for XTT2 rule representation that is based on the Attributive Logic with Set Values and its textual representation called HMR+. Pure Java implementation that allows for integration with any Java code, including Android applications. Integration with AWARE framework in a form ofplugin. Callbacks mechanism based on Java reflection, that allows for easy integration with other systems. Uncertainty management mechanism based on modified certainty factors... -
Network Management Software and Tools for Businesses and Organizations | Auvik NetworksReduce IT headaches and save time with a proven solution for automated network discovery, documentation, and performance monitoring. Choose Auvik because you'll see value in minutes, and stay with us to improve your IT for years to come.
-
10
STPA Verifier is an Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV. The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable...
-
11
Code and benchmarks can be found at "Files". We also use git to manage our code and benchmarks, You can found them at "Code". This project provides a tool that implements the Partial Order Reduction for Checking State/Event Linear Temporal Logic. This tool is based on SPIN.
-
12
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
13
CTL-RP
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.) -
14
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
15
Counting Fluents - LTSA
Counting Fluents Labelled Transition System Analyser
=========IMPORTANT========== A new version can be found at: http://countingfluents.weebly.com This page will be updated soon ============================= Counting Fluent Linear-Time Temporal Logic (CFLTL) is an extension of Fluent Linear-Time Temporal Logic, which complements the notion of fluent by the related concept of counting fluent. As opposed to the binary nature of fluents (which are logical propositions), counting fluents are numerical values, that enumerate event... -
16
Concurrency Workbench NC
Automatic verification of concurrent software systems
...-Based Verification - Temporal-Logic-Based Verification - Interactive Simulation - Reachability analysis -
17
HIStream
A realtime HL7 stream based clinical decision support system
HIStream is a clinical decision support system designed to operate on data streams. Rules can be specified using (fuzzy) logic formulas with temporal extensions (e.g. creatinine level high at least 3 days after surgery). All incoming clinical data can be stored in an integrated data warehouse (using postgresql). Additionally, incoming data can be forwarded to the clinical data warehouse project i2b2. THIS PROJECT IS CURRENTLY IN DEVELOPMENT. FIRST BETA RELEASE WILL BE PUBLISHED JUNE 2015. -
18
Arete helps reduce complexity and maintenance of logic systems that use large sets of conditional evaluations. It also provides a general basis for creating nonstandard modes of premise assertion, including alethic, deontic, temporal, and other modes.
-
19
TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE
-
20
Jeeg is a dialect of Java based on a declarative synchronization mechanisms.Synchronization constraints in Jeeg are expressed in a linear temporal logic. Jeeg is inspired by the current trend in aspect oriented languages.
- Previous
- You're on page 1
- Next