Skip to content

@imitator-model-checker Imitator

Change the repository type filter

All

    Repositories list

    8 repositories

    • imitator

      Public
      IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
      model-checkingmodel-checkerreal-time-systemstimed-automataparameter-synthesisreachability-synthesis
      OCaml
      •
      GNU General Public License v3.0
      •12•26•70•1•Updated Nov 26, 2024Nov 26, 2024

    • sandbox

      Public
      Repository containing old files or files to test ideas
      Hy
      •0•1•0•0•Updated Apr 27, 2023Apr 27, 2023

    • imitator-web

      Public
      Graphical web interface to run imitator
      CSS
      •
      GNU General Public License v3.0
      •0•1•2•0•Updated Jun 7, 2022Jun 7, 2022

    • vim-imitator

      Public
      Imitator syntax highlighting for vim
      Vim Script
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Oct 27, 2021Oct 27, 2021

    • atom-imitator

      Public
      Imitator syntax highlighting for Atom
      GNU General Public License v3.0
      •0•1•1•0•Updated Sep 21, 2021Sep 21, 2021

    • sublime-text-imitator

      Public
      Imitator syntax highlighting for Sublime Text
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 9, 2020Oct 9, 2020

    • emacs-imitator-mode

      Public
      Emacs major mode for editing IMITATOR code
      syntax-highlightingemacsemacs-modeimitator
      Emacs Lisp
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Aug 17, 2018Aug 17, 2018

    • HSC

      Public
      Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 18, 2018Apr 18, 2018