utwente-fmt Goto Github PK
Name: University of Twente - Formal Methods and Tools
Type: Organization
Location: Enschede, The Netherlands
Name: University of Twente - Formal Methods and Tools
Type: Organization
Location: Enschede, The Netherlands
Maximizing Synchronization for Aligning Observed and Modelled Behaviour
Minimal-Time Synthesis for Parametric Timed Automata
PNML front-end for LTSmin
Multi-Core On-The-Fly SCC Decomposition
Symbolic Reachability Analysis of the B-Method through ProB and LTSmin
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Explicit State Model Checking with Generalized Büchi and Rabin Automata
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
Screenly OSE -- Digital Signage for the Raspberry Pi
Multi-core symbolic bisimulation minimisation
Experimental data for the STTT submission on SigrefMC (2016)
All data for the TACAS 2016 paper about sigrefmc
This repository contains all the components of STARS tool-chain.
Multi-core Decision Diagram (BDD/LDD) implementation
Experimental benchmarks for STTT journal submission on Sylvan
Experimental data of Sylvan (TACAS 2015 paper)
Symbolically Aligning Observed and Modelled Behaviour
EMF-based tooling for the UPPAAL model checker
Parsing plain-text UPPAAL files to Ecore models using the UPPAAL meta-model and libutap
UPPAAL Sanity Checker
Experiment data for UrPal paper
The VerCors verification toolset for verifying parallel and concurrent software
Repository to contain the built VerCors website for automated deployment
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.