Topic: "uppaal"
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.3 MB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 40 - Forks: 4
UPPAALModelChecker/uppaal-latex
LaTeX package to typeset Uppaal timed automata specifications
Language: TeX - Size: 428 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 13 - Forks: 1
DrHAMDANE/TransformationAADL2timedAutomata
We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation process in two steps : the first is aModel2Model transformation which takes an AADLModel and produces the corresponding timed automata model. The second transformation is a Model2Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. The goal of this effort is to insure some properties of AADL models using the Uppaal model checker. A case study has been developed to show the feasibility and validity of the proposed approach.
Language: Assembly - Size: 292 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 8 - 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 at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 1
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
Language: Java - Size: 286 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 4 - 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 at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0
UPPAALModelChecker/docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
Language: HTML - Size: 21.3 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 14
stefanomarrone/performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
Language: D - Size: 103 MB - Last synced at: over 1 year ago - Pushed at: 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 at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - 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 at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
san089/Uppaal_Model_Checking
Model Checking For Automated Machine Learning Models
Language: q - Size: 1010 KB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
LorenzoProSky/Formal-analysis-of-search-and-rescue-scenarios 📦
Formal Methods for Concurrent and Real-Time Systems a.y. 23/24 - Homework Project
Size: 15.8 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
MrVideo/UPPAALGlobalClock
A simple global clock example in UPPAAL.
Size: 1000 Bytes - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
UPPAALModelChecker/uppaal-libs
Dynamic libraries for Uppaal models
Language: C++ - Size: 101 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 3
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 at: over 1 year ago - Pushed at: about 3 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 at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - 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 at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
GarridoY/Our-Compiler
A programming language for Arduino controllers, using UPPAAL for time verification.
Language: Java - Size: 3.84 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
carlosgeos/pit-stop-model
Formula 1 pit stop modelled with Uppaal/Tiga
Language: q - Size: 576 KB - Last synced at: 10 days ago - Pushed at: about 6 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 at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
mrcaique/booos
Basic Object-Oriented Operating System
Language: C++ - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
angelo-casciani/conv_automata
A Conversational Framework for Faithful Multi-Perspective Analysis of Production Processes
Language: Python - Size: 78 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
hsimho/MightyPPL
A C++ tool to convert MITL with Past and Pnueli (MITPPL) formulae into timed automata
Language: C++ - Size: 18.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
M-TalhaSahin/MODELVV
A helper desktop tool for UPPAAL model verification application
Language: Python - Size: 144 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
zucchi99/UPPAAL-Modeling-Ultrafiltration-Plant
Hybrid Modeling, Simulation, and Sub-Optimal Synthesis of a controller for the Ultrafiltration of Industrial Wastewater
Language: HTML - Size: 84.5 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
IvchenkoIO/Model_Checking_Basic
Model checkign basic mutual exclusion algorithms (Dekker's, Peterson's) using UPPAAL tool
Size: 1.38 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
giorgiosld/Security-By-Design 📦
This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino
Language: C - Size: 3.36 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
MrVideo/LampTA
A simple lamp and button NTA made with UPPAAL
Language: q - Size: 4.88 KB - Last synced at: 4 days ago - Pushed at: about 1 year 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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
LBF38/ensta_landing_system
Verification Project @ ENSTA Bretagne
Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: 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 at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
DavidC0rtes/juppaal Fork of sefanja/juppaal
Java API for working with UPPAAL model files
Language: Java - Size: 352 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years 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 at: almost 2 years ago - Pushed at: almost 2 years 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 at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
xkrejc70/mit-MBA-projects
MBA - Model-Based Analysis
Size: 2.67 MB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
UPPAALModelChecker/tracer
Uppaal trace interpreter
Language: C++ - Size: 53.7 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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 at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
DavidC0rtes/mutant
A tool for the mutation of UPPAAL NTA
Language: Java - Size: 343 KB - Last synced at: over 2 years ago - Pushed at: about 3 years 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 at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
AshNewton/SYSC5500-project
Modelling a Mirai-like botnet using networks of timed automata in UPPAAL
Language: TeX - Size: 26.2 MB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1
DrHAMDANE/SVSCA-Simulator-checking-automotive-air-conditioning-system
SvScA is a simulator for specifying and verifying the automotive air conditioning system linked directly with the UPPAAL model checker. © Mr. mohamed elkamel HAMDANE & Mr Yahyaoui mehdi & Mlle Zouaoui imene & Mlle Rima maroua. 2016
Language: Java - Size: 29.1 MB - Last synced at: 2 months ago - Pushed at: 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 at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
Size: 153 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
tsabelmann/uppaal-random-generator
A Python implementation of a random generator for Uppaal models.
Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
herulume/LTS 📦
Modelling and analysis of real-time systems
Language: Haskell - Size: 1.57 MB - Last synced at: over 2 years ago - Pushed at: about 5 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 at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
SW5CMMMST/SW5-Rapport
SW5 Rapport
Language: TeX - Size: 18.4 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
