PRETgroup/ForeC PRETgroup/ForeC

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C
  • License
    GNU General Publi...
  • Created almost 8 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PRETgroup/ForeC
github

PRETgroup

Reviews

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

Repository Details

Tools developed for the ForeC synchronous parallel language

More Repositories

1

goFB

An IEC61499 Function Block toolchain written in the Go programming language
Go
5
star
2

easy-rte

Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework
SystemVerilog
5
star
3

drone-attack-enforcers

Drone simulation with attacker modelling using runtime enforcers
Python
2
star
4

modular-code-generation

Modular Code Generation from Hybrid Automata
Kotlin
2
star
5

easy-rv

Toolchain to automatically generate and verify SW runtime monitors (in C) from text-based FSM
Go
1
star