Computational Modeling Domain Specific Languages and Tools
-
Updated
Nov 22, 2022 - Xtend
Computational Modeling Domain Specific Languages and Tools
Flood-It solver written for the ASP system telingo.
Pastime LTL for runtime verification.
Learning LTL formulae from finite system traces.
This project is part of a master's thesis to implement eLTL logic, UMA University (Spain).
Fast LTLf Log-SAT Solver with Data Payload!
Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.
Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the generated code.
Misconception-based tutor designed to help people learn Linear Temporal Logic.
A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process.
Finite-trace linear temporal logic.
Reinforcement Learning Course Project - IIT Bombay Fall 2018
Linear Temporal Logic formalized in Coq
The goal of this project is to bring most of Event-B and refinement calculus into Python
The LTL Checker, a ProM framework plug-in
A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Add a description, image, and links to the linear-temporal-logic topic page so that developers can more easily learn about it.
To associate your repository with the linear-temporal-logic topic, visit your repo's landing page and select "manage topics."