Dekker1/TCP-setup-uppaal Dekker1/TCP-setup-uppaal

  • This repository has been archived on 10/Mar/2022
  • Stars
    star
    1
  • Language
    TeX
  • Created almost 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Dekker1/TCP-setup-uppaal
github

Dekker1

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Uppaal analysis of the connection setup of the TCP protocol.

More Repositories

1

vscode-minizinc

MiniZinc support for Visual Studio Code
7
star
2

iro-mzn

Generate MiniZinc syntax highlighters
5
star
3

language-mzn

Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
3
star
4

dotfiles

Let's have some dotfiles
Lua
3
star
5

minizinc-discord

A Discord bot that will solve MiniZinc instances
Python
2
star
6

homebrew-minizinc

A Homebrew Tap for MiniZinc solvers
Ruby
2
star
7

Gastenboek

Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Go
1
star
8

Dekker1

My GitHub readme and personal website
1
star
9

tree-sitter-minizinc

MiniZinc grammar for tree-sitter
JavaScript
1
star
10

MiniZinc-Auto-Tabling-Models

Models using an intrinsic auto-tabling mechanism in MiniZinc.
1
star