MichalKnapik/automata-net-reduction-tool MichalKnapik/automata-net-reduction-tool

  • Stars
    star
    2
  • Language
    C
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MichalKnapik/automata-net-reduction-tool
github

MichalKnapik

Reviews

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

Repository Details

More Repositories

1

PTA2SMT

Parametric Timed Automata SMT checker.
C++
3
star
2

spatula

Parametric synthesis tool for a branching action temporal logic.
C
3
star
3

general-automata-net-reduction-tool

Java
2
star
4

dd-net-checker

Python
1
star
5

BMinor-compiler

As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.
C
1
star
6

bibtex2html

Takes a .bib bibTeX file and produces html output
Python
1
star