davidhildenbrand/allen-temporal-logic--seminar-schedule-verifier davidhildenbrand/allen-temporal-logic--seminar-schedule-verifier

  • Stars
    star
    2
  • Language
    C
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidhildenbrand/allen-temporal-logic--seminar-schedule-verifier
github

davidhildenbrand

Reviews

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

Repository Details

Verification of certain constraints of seminar schedules using allen temporal logic and allen temporal networks

More Repositories

1

drob

DROB (Dynamic Rewriter and Optimizer of Binary code)
C++
24
star
2

SnakeAda

A very simple and inefficient version of Snake written in Ada/SPARK (gtkada)
Ada
2
star
3

kstream

kstream - STREAM benchmark inside a Linux kernel module
C
1
star