Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: uppaal
hsimho/MightyL
A C++ re-implementation of MightyL
Language: C++ - Size: 405 KB - Last synced: about 21 hours ago - Pushed: about 21 hours ago - Stars: 0 - Forks: 0
william-hazem/Onda_Verde
Projeto de Sistemas a Eventos Discretos para via sinalizada utilizando o conceito de Onda Verde
Size: 2.98 MB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 0
Jack0Chan/PyUPPAAL
PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.
Language: Python - Size: 39.8 MB - Last synced: 24 days ago - Pushed: 26 days ago - Stars: 27 - Forks: 2
LBF38/ensta_landing_system
Verification Project @ ENSTA Bretagne
Size: 18.6 KB - Last synced: 16 days ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
UPPAALModelChecker/docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
Language: HTML - Size: 19.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 14
axelitama/Formal-Methods-Project-2023
Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano
Language: XML - Size: 934 KB - Last synced: 30 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
UPPAALModelChecker/uppaal-libs
Dynamic libraries for Uppaal models
Language: C++ - Size: 101 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 3
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
Language: Java - Size: 286 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0
UPPAALModelChecker/uppaal-latex
LaTeX package to typeset Uppaal timed automata specifications
Language: TeX - Size: 427 KB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 11 - Forks: 1
DavidC0rtes/juppaal Fork of sefanja/juppaal
Java API for working with UPPAAL model files
Language: Java - Size: 352 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
maurofama99/formal-methods-project
Formal Digital Twin of a Lego Mindstorms production plant
Language: Python - Size: 3.44 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
DavidC0rtes/TraceMatcher
Compute traces inclusion using biased & random traces with UPPAAL models.
Language: Java - Size: 23.4 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
UPPAALModelChecker/tracer
Uppaal trace interpreter
Language: C++ - Size: 53.7 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
DavidC0rtes/ntamorphosis
Prototype CLI tool to perform MBMT between Networks of Timed Automata
Language: Java - Size: 66.1 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0
ZiggyStardustAndTheSpidersFromMars/TARTS
TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
Language: Java - Size: 3.38 MB - Last synced: 11 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0
stefanomarrone/performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
Language: D - Size: 103 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
M-TalhaSahin/MODELVV
A helper desktop tool for UPPAAL model verification application
Language: Python - Size: 141 KB - Last synced: 6 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
christoph-ueker/bachelor-thesis
Official repository for the bachelor thesis "Learning UPPAAL Timed Automata from Network Protocol Traces"
Language: Python - Size: 77.7 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
TCC2021SeniorProject/ModelTranslator
A software program that translates XML-based code into executable python codes.
Language: Python - Size: 1.47 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0
herulume/LTS 📦
Modelling and analysis of real-time systems
Language: Haskell - Size: 1.57 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
mebeim/fm_project Fork of leonardobarilani/warehouse-model-checking 📦
Formal Methods for Concurrent and Real-Time Systems exam project
Language: TeX - Size: 3.02 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
ivochan/RecirculatingPalletWarehouse
Recirculating pallet warehouse modeling and simulation by a Petri Net, using PIPE2 Editor, TPN Designer and Uppaal software
Language: HTML - Size: 12.6 MB - Last synced: 4 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0
mnemocron/TDTS07-TDDI08
TDTS07/TDDI08 System Design and Methodology - Lab Files
Language: TeX - Size: 3.77 MB - Last synced: almost 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0
DavidC0rtes/mutant
A tool for the mutation of UPPAAL NTA
Language: Java - Size: 343 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
xkrejc70/mit-MBA-projects
MBA - Model-Based Analysis
Size: 2.67 MB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
MartinLykke/uppaal-hand-in
Gear controller: Hand-in 1 in Software System Analysis and Verification at SDU
Size: 12.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
san089/Uppaal_Model_Checking
Model Checking For Automated Machine Learning Models
Language: q - Size: 1010 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 2 - Forks: 1
carlosgeos/pit-stop-model
Formula 1 pit stop modelled with Uppaal/Tiga
Language: q - Size: 576 KB - Last synced: 2 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
lajtmaN/VisuAAL
Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations
Language: Java - Size: 6.47 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 1
davidebasile/FMICS2021 Fork of IreneRosadi/UppaalModels
Uppaal models of the paper Formal Analysis of the UNISIG Safety Application Intermediate Sublayer. FMICS2021
Size: 2.43 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
UPPAALModelChecker/UPPAAL-Meta
This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
LukeANewton/SYSC5500-project
Modelling a Mirai-like botnet using networks of timed automata in UPPAAL
Language: TeX - Size: 26.2 MB - Last synced: 4 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1
tsabelmann/uppaal-random-generator
A Python implementation of a random generator for Uppaal models.
Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
GarridoY/Our-Compiler
A programming language for Arduino controllers, using UPPAAL for time verification.
Language: Java - Size: 3.84 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
philipholler/RocoCup_Soccer_P6
The project set out to showcase real time strategy generation using UPPAAL Stratego for a highly dynamic environment like robocup. This project was created as a bachelors project at Aalborg University. Alongside the program a paper was created and can found in this project.
Language: Python - Size: 8.03 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 5 - Forks: 1
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
Size: 153 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
AdarshAravind/Model-checking-with-UPPAAL
This is a course project for INSE 6250. It is focused on developing a model and checking the correctness with any model checker tools.
Size: 43.7 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
mrcaique/booos
Basic Object-Oriented Operating System
Language: C++ - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0
SW5CMMMST/SW5-Rapport
SW5 Rapport
Language: TeX - Size: 18.4 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0