Pinned Repositories
destinypositions
About Destiny
Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
Affine-Automata-Acceleration
Ecdar-Common
Common ECDAR stuff used by different repositories.
Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
Ecdar-ProtoBuf
The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
Primula-fork
Pytorch-primula-conversion
www.ecdar.net
seblund's Repositories
seblund/Affine-Automata-Acceleration
seblund/Ecdar-Common
Common ECDAR stuff used by different repositories.
seblund/Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
seblund/Ecdar-ProtoBuf
The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
seblund/j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
seblund/Primula-fork
seblund/Pytorch-primula-conversion
seblund/www.ecdar.net